blob: 46f00c06bf1cadaab75c767128e0ce6f53ccb1ca (
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<()>>();
}
|
