mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-23 23:34:48 +00:00
26 lines
662 B
Rust
26 lines
662 B
Rust
use std::cell::Cell;
|
|
use std::rc::Rc;
|
|
|
|
fn send<T: Send>(_: T) {}
|
|
|
|
fn main() {}
|
|
|
|
// Cycles should work as the deferred obligations are
|
|
// independently resolved and only require the concrete
|
|
// return type, which can't depend on the obligation.
|
|
fn cycle1() -> impl Clone {
|
|
//~^ ERROR cycle detected
|
|
//~| ERROR cycle detected
|
|
send(cycle2().clone());
|
|
//~^ ERROR: cannot check whether the hidden type of opaque type satisfies auto traits
|
|
|
|
Rc::new(Cell::new(5))
|
|
}
|
|
|
|
fn cycle2() -> impl Clone {
|
|
send(cycle1().clone());
|
|
//~^ ERROR: cannot check whether the hidden type of opaque type satisfies auto traits
|
|
|
|
Rc::new(String::from("foo"))
|
|
}
|