| //@ check-pass | |
| #![feature(const_trait_impl, rustc_attrs)] | |
| #[const_trait] | |
| trait IntoIter { | |
| fn into_iter(self); | |
| } | |
| #[const_trait] | |
| trait Hmm: Sized { | |
| #[rustc_do_not_const_check] | |
| fn chain<U>(self, other: U) where U: IntoIter, | |
| { | |
| other.into_iter() | |
| } | |
| } | |
| fn main() {} |