blob: d87a25aad58304635b882760409251b82000553e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#![feature(type_alias_impl_trait)]
fn main() {}
trait Trait {}
type Underconstrained<T: Trait> = impl Send;
// no `Trait` bound
fn underconstrain<T>(_: T) -> Underconstrained<T> {
//~^ ERROR the trait bound `T: Trait`
unimplemented!()
}
|