d4a2c94180
This commit cleans out a large amount of deprecated APIs from the standard library and some of the facade crates as well, updating all users in the compiler and in tests as it goes along.
116 lines
2.7 KiB
Rust
116 lines
2.7 KiB
Rust
// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
|
|
// file at the top-level directory of this distribution and at
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
// option. This file may not be copied, modified, or distributed
|
|
// except according to those terms.
|
|
|
|
// Reject mixing cyclic structure and Drop when using fixed length
|
|
// arrays.
|
|
//
|
|
// (Compare against compile-fail/dropck_vec_cycle_checked.rs)
|
|
|
|
#![feature(unsafe_destructor)]
|
|
|
|
use std::cell::Cell;
|
|
use id::Id;
|
|
|
|
mod s {
|
|
#![allow(unstable)]
|
|
use std::sync::atomic::{AtomicUsize, ATOMIC_USIZE_INIT, Ordering};
|
|
|
|
static S_COUNT: AtomicUsize = ATOMIC_USIZE_INIT;
|
|
|
|
pub fn next_count() -> usize {
|
|
S_COUNT.fetch_add(1, Ordering::SeqCst) + 1
|
|
}
|
|
}
|
|
|
|
mod id {
|
|
use s;
|
|
#[derive(Debug)]
|
|
pub struct Id {
|
|
orig_count: usize,
|
|
count: usize,
|
|
}
|
|
|
|
impl Id {
|
|
pub fn new() -> Id {
|
|
let c = s::next_count();
|
|
println!("building Id {}", c);
|
|
Id { orig_count: c, count: c }
|
|
}
|
|
pub fn count(&self) -> usize {
|
|
println!("Id::count on {} returns {}", self.orig_count, self.count);
|
|
self.count
|
|
}
|
|
}
|
|
|
|
impl Drop for Id {
|
|
fn drop(&mut self) {
|
|
println!("dropping Id {}", self.count);
|
|
self.count = 0;
|
|
}
|
|
}
|
|
}
|
|
|
|
trait HasId {
|
|
fn count(&self) -> usize;
|
|
}
|
|
|
|
#[derive(Debug)]
|
|
struct CheckId<T:HasId> {
|
|
v: T
|
|
}
|
|
|
|
#[allow(non_snake_case)]
|
|
fn CheckId<T:HasId>(t: T) -> CheckId<T> { CheckId{ v: t } }
|
|
|
|
#[unsafe_destructor]
|
|
impl<T:HasId> Drop for CheckId<T> {
|
|
fn drop(&mut self) {
|
|
assert!(self.v.count() > 0);
|
|
}
|
|
}
|
|
|
|
#[derive(Debug)]
|
|
struct B<'a> {
|
|
id: Id,
|
|
a: [CheckId<Cell<Option<&'a B<'a>>>>; 2]
|
|
}
|
|
|
|
impl<'a> HasId for Cell<Option<&'a B<'a>>> {
|
|
fn count(&self) -> usize {
|
|
match self.get() {
|
|
None => 1,
|
|
Some(b) => b.id.count(),
|
|
}
|
|
}
|
|
}
|
|
|
|
impl<'a> B<'a> {
|
|
fn new() -> B<'a> {
|
|
B { id: Id::new(), a: [CheckId(Cell::new(None)), CheckId(Cell::new(None))] }
|
|
}
|
|
}
|
|
|
|
fn f() {
|
|
let (b1, b2, b3);
|
|
b1 = B::new();
|
|
b2 = B::new();
|
|
b3 = B::new();
|
|
b1.a[0].v.set(Some(&b2)); //~ ERROR `b2` does not live long enough
|
|
b1.a[1].v.set(Some(&b3)); //~ ERROR `b3` does not live long enough
|
|
b2.a[0].v.set(Some(&b2)); //~ ERROR `b2` does not live long enough
|
|
b2.a[1].v.set(Some(&b3)); //~ ERROR `b3` does not live long enough
|
|
b3.a[0].v.set(Some(&b1)); //~ ERROR `b1` does not live long enough
|
|
b3.a[1].v.set(Some(&b2)); //~ ERROR `b2` does not live long enough
|
|
}
|
|
|
|
fn main() {
|
|
f();
|
|
}
|