diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/associated-consts/associated-const-trait-bound.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/associated-consts/associated-const-trait-bound.rs b/src/test/ui/associated-consts/associated-const-trait-bound.rs new file mode 100644 index 000000000..403cdbd7f --- /dev/null +++ b/src/test/ui/associated-consts/associated-const-trait-bound.rs @@ -0,0 +1,21 @@ +// build-pass (FIXME(62277): could be check-pass?) + +trait ConstDefault { + const DEFAULT: Self; +} + +trait Foo: Sized {} + +trait FooExt: Foo { + type T: ConstDefault; +} + +trait Bar<F: FooExt> { + const T: F::T; +} + +impl<F: FooExt> Bar<F> for () { + const T: F::T = <F::T as ConstDefault>::DEFAULT; +} + +fn main() {} |