| #![crate_name = "foo"] | |
| pub trait Some {} | |
| impl Some for () {} | |
| pub trait Other {} | |
| impl Other for () {} | |
| pub fn alef<T: Some>() -> T { | |
| loop {} | |
| } | |
| pub fn alpha() -> impl Some {} | |
| pub fn bet<T, U>(t: T) -> U { | |
| loop {} | |
| } | |
| pub fn beta<T>(t: T) -> T {} | |
| pub fn other<T: Other, U: Other>(t: T, u: U) { | |
| loop {} | |
| } | |
| pub fn alternate<T: Other>(t: T, u: T) { | |
| loop {} | |
| } |