blob: ed9658e5b95ec7671974f194f36ec312b9eca50b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
//@ check-pass
// Make sure that we only consider *Self* supertrait predicates
// in the `unused_must_use` lint.
#![feature(trait_alias)]
#![deny(unused_must_use)]
trait Foo<T> = Sized where T: Iterator;
fn test<T: Iterator>() -> impl Foo<T> {}
fn main() {
test::<std::iter::Once<()>>();
}
|
