summaryrefslogtreecommitdiffstats
path: root/tests/ui/closures/self-supertrait-bounds.rs
blob: f4f1cea6b81769e3922e9101da5ebb282e01698b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// check-pass

// Makes sure that we only consider `Self` supertrait predicates while
// elaborating during closure signature deduction.

#![feature(trait_alias)]

trait Confusing<F> = Fn(i32) where F: Fn(u32);

fn alias<T: Confusing<F>, F>(_: T, _: F) {}

fn main() {
    alias(|_| {}, |_| {});
}