blob: d5d724c9b15377a772c1c18ab8163a99e67329e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// Regression test for issue #118040.
// Ensure that we support assoc const eq bounds where the assoc const comes from a supertrait.
//@ check-pass
#![feature(associated_const_equality)]
trait Trait: SuperTrait {}
trait SuperTrait: SuperSuperTrait<i32> {}
trait SuperSuperTrait<T> {
const K: T;
}
fn take(_: impl Trait<K = 0>) {}
fn main() {}
|
