diff options
Diffstat (limited to 'tests/ui/associated-inherent-types/bugs/cycle-iat-inside-of-where-predicate.rs')
-rw-r--r-- | tests/ui/associated-inherent-types/bugs/cycle-iat-inside-of-where-predicate.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/associated-inherent-types/bugs/cycle-iat-inside-of-where-predicate.rs b/tests/ui/associated-inherent-types/bugs/cycle-iat-inside-of-where-predicate.rs new file mode 100644 index 00000000000..0c2a38b1173 --- /dev/null +++ b/tests/ui/associated-inherent-types/bugs/cycle-iat-inside-of-where-predicate.rs @@ -0,0 +1,16 @@ +// known-bug: unknown + +#![feature(inherent_associated_types)] +#![allow(incomplete_features)] + +// FIXME(inherent_associated_types): This shouldn't lead to a cycle error. + +fn user<T>() where S<T>::P: std::fmt::Debug {} + +struct S<T>; + +impl<T: Copy> S<T> { + type P = (); +} + +fn main() {} |