diff options
Diffstat (limited to 'src/test/ui/traits/alias/issue-72415-assoc-const-resolve.rs')
-rw-r--r-- | src/test/ui/traits/alias/issue-72415-assoc-const-resolve.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/traits/alias/issue-72415-assoc-const-resolve.rs b/src/test/ui/traits/alias/issue-72415-assoc-const-resolve.rs new file mode 100644 index 000000000..e49125d10 --- /dev/null +++ b/src/test/ui/traits/alias/issue-72415-assoc-const-resolve.rs @@ -0,0 +1,14 @@ +// check-pass + +#![feature(trait_alias)] + +trait Bounded { const MAX: Self; } + +impl Bounded for u32 { + // This should correctly resolve to the associated const in the inherent impl of u32. + const MAX: Self = u32::MAX; +} + +trait Num = Bounded + Copy; + +fn main() {} |