mirror of https://github.com/rust-lang/rust
26 lines
532 B
Rust
26 lines
532 B
Rust
#![feature(type_alias_impl_trait)]
|
|
#![allow(dead_code)]
|
|
|
|
mod m {
|
|
use std::rc::Rc;
|
|
|
|
type Foo = impl std::fmt::Debug; //~ NOTE appears within the type
|
|
//~^ within this `Foo`
|
|
//~| expansion of desugaring
|
|
|
|
pub fn foo() -> Foo {
|
|
Rc::new(22_u32)
|
|
}
|
|
}
|
|
|
|
fn is_send<T: Send>(_: T) {}
|
|
//~^ required by this bound
|
|
//~| required by a bound
|
|
|
|
fn main() {
|
|
is_send(m::foo());
|
|
//~^ ERROR: `Rc<u32>` cannot be sent between threads safely [E0277]
|
|
//~| NOTE cannot be sent
|
|
//~| NOTE required by a bound
|
|
}
|