diff options
Diffstat (limited to 'src/test/ui/const-generics/generic_const_exprs/issue-85848.rs')
-rw-r--r-- | src/test/ui/const-generics/generic_const_exprs/issue-85848.rs | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/src/test/ui/const-generics/generic_const_exprs/issue-85848.rs b/src/test/ui/const-generics/generic_const_exprs/issue-85848.rs deleted file mode 100644 index 3a7f4c618..000000000 --- a/src/test/ui/const-generics/generic_const_exprs/issue-85848.rs +++ /dev/null @@ -1,32 +0,0 @@ -#![feature(generic_const_exprs)] -#![allow(incomplete_features)] - -trait _Contains<T> { - const does_contain: bool; -} - -trait Contains<T, const Satisfied: bool> {} - -trait Delegates<T> {} - -impl<T, U> Delegates<U> for T where T: Contains<U, true> {} - -const fn contains<A, B>() -> bool -where - A: _Contains<B>, -{ - A::does_contain -} - -impl<T, U> Contains<T, { contains::<T, U>() }> for U where T: _Contains<U> {} - -fn writes_to_path<C>(cap: &C) { - writes_to_specific_path(&cap); - //~^ ERROR: the trait bound `(): _Contains<&C>` is not satisfied [E0277] - //~| ERROR: unconstrained generic constant - //~| ERROR: mismatched types [E0308] -} - -fn writes_to_specific_path<C: Delegates<()>>(cap: &C) {} - -fn main() {} |