Add lazy normalization tests

Author: skinnyBat

src/test/ui/const-generics/issues/issue-61935.rs

@@ -0,0 +1,24 @@
+// check-pass
+
+#![feature(const_generics)]
+//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash
+
+trait Foo {}
+
+impl<const N: usize> Foo for [(); N]
+    where
+        Self:FooImpl<{N==0}>
+{}
+
+trait FooImpl<const IS_ZERO: bool>{}
+
+impl FooImpl<true> for [(); 0] {}
+
+impl<const N:usize> FooImpl<false> for [();N] {}
+
+fn foo(_: impl Foo) {}
+
+fn main() {
+    foo([]);
+    foo([()]);
+}

src/test/ui/const-generics/issues/issue-61935.stderr

@@ -0,0 +1,8 @@
+warning: the feature `const_generics` is incomplete and may cause the compiler to crash
+  --> $DIR/issue-61935.rs:3:12
+   |
+LL | #![feature(const_generics)]
+   |            ^^^^^^^^^^^^^^
+   |
+   = note: `#[warn(incomplete_features)]` on by default
+

src/test/ui/const-generics/issues/issue-67185-1.rs

@@ -0,0 +1,32 @@
+// check-pass
+
+#![feature(const_generics)]
+//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash
+
+trait Baz {
+    type Quaks;
+}
+impl Baz for u8 {
+    type Quaks = [u16; 3];
+}
+
+trait Bar {}
+impl Bar for [u16; 3] {}
+impl Bar for [[u16; 3]; 2] {}
+
+trait Foo
+    where
+        [<u8 as Baz>::Quaks; 2]: Bar,
+        <u8 as Baz>::Quaks: Bar,
+{
+}
+
+struct FooImpl;
+
+impl Foo for FooImpl {}
+
+fn f(_: impl Foo) {}
+
+fn main() {
+    f(FooImpl)
+}

src/test/ui/const-generics/issues/issue-67185-1.stderr

@@ -0,0 +1,8 @@
+warning: the feature `const_generics` is incomplete and may cause the compiler to crash
+  --> $DIR/issue-67185-1.rs:3:12
+   |
+LL | #![feature(const_generics)]
+   |            ^^^^^^^^^^^^^^
+   |
+   = note: `#[warn(incomplete_features)]` on by default
+

src/test/ui/const-generics/issues/issue-67185-2.rs

@@ -0,0 +1,34 @@
+#![feature(const_generics)]
+//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash
+
+trait Baz {
+    type Quaks;
+}
+impl Baz for u8 {
+    type Quaks = [u16; 3];
+}
+
+trait Bar {}
+impl Bar for [u16; 4] {}
+impl Bar for [[u16; 3]; 3] {}
+
+trait Foo  //~ ERROR mismatched types
+    where
+        [<u8 as Baz>::Quaks; 2]: Bar,
+        <u8 as Baz>::Quaks: Bar,
+{
+}
+
+struct FooImpl;
+
+impl Foo for FooImpl {}
+//~^ ERROR mismatched types
+//~^^ ERROR mismatched types
+
+fn f(_: impl Foo) {}
+//~^ ERROR mismatched types
+//~^^ ERROR mismatched types
+
+fn main() {
+    f(FooImpl)
+}

src/test/ui/const-generics/issues/issue-67185-2.stderr

@@ -0,0 +1,61 @@
+warning: the feature `const_generics` is incomplete and may cause the compiler to crash
+  --> $DIR/issue-67185-2.rs:1:12
+   |
+LL | #![feature(const_generics)]
+   |            ^^^^^^^^^^^^^^
+   |
+   = note: `#[warn(incomplete_features)]` on by default
+
+error[E0308]: mismatched types
+  --> $DIR/issue-67185-2.rs:15:1
+   |
+LL | / trait Foo
+LL | |     where
+LL | |         [<u8 as Baz>::Quaks; 2]: Bar,
+LL | |         <u8 as Baz>::Quaks: Bar,
+LL | | {
+LL | | }
+   | |_^ expected `3usize`, found `4usize`
+   |
+   = note: expected type `3usize`
+              found type `4usize`
+
+error[E0308]: mismatched types
+  --> $DIR/issue-67185-2.rs:24:6
+   |
+LL | impl Foo for FooImpl {}
+   |      ^^^ expected `3usize`, found `4usize`
+   |
+   = note: expected type `3usize`
+              found type `4usize`
+
+error[E0308]: mismatched types
+  --> $DIR/issue-67185-2.rs:24:6
+   |
+LL | impl Foo for FooImpl {}
+   |      ^^^ expected `2usize`, found `3usize`
+   |
+   = note: expected type `2usize`
+              found type `3usize`
+
+error[E0308]: mismatched types
+  --> $DIR/issue-67185-2.rs:28:1
+   |
+LL | fn f(_: impl Foo) {}
+   | ^^^^^^^^^^^^^^^^^^^^ expected `2usize`, found `3usize`
+   |
+   = note: expected type `2usize`
+              found type `3usize`
+
+error[E0308]: mismatched types
+  --> $DIR/issue-67185-2.rs:28:1
+   |
+LL | fn f(_: impl Foo) {}
+   | ^^^^^^^^^^^^^^^^^^^^ expected `3usize`, found `4usize`
+   |
+   = note: expected type `3usize`
+              found type `4usize`
+
+error: aborting due to 5 previous errors
+
+For more information about this error, try `rustc --explain E0308`.

src/test/ui/const-generics/trait-const-args.rs

@@ -0,0 +1,29 @@
+// check-pass
+
+#![feature(const_generics)]
+//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash
+
+struct Const<const N: usize>;
+trait Foo<const N: usize> {}
+
+impl<const N: usize> Foo<{N}> for Const<{N}> {}
+
+fn foo_impl(_: impl Foo<3>) {}
+
+fn foo_explicit<T: Foo<3>>(_: T) {}
+
+fn foo_where<T>(_: T) where T: Foo<3> {}
+
+fn main() {
+    // FIXME this causes a stack overflow in rustc
+    // foo_impl(Const);
+    foo_impl(Const::<3>);
+
+    // FIXME this causes a stack overflow in rustc
+    // foo_explicit(Const);
+    foo_explicit(Const::<3>);
+
+    // FIXME this causes a stack overflow in rustc
+    // foo_where(Const);
+    foo_where(Const::<3>);
+}

src/test/ui/const-generics/trait-const-args.stderr

@@ -0,0 +1,8 @@
+warning: the feature `const_generics` is incomplete and may cause the compiler to crash
+  --> $DIR/trait-const-args.rs:3:12
+   |
+LL | #![feature(const_generics)]
+   |            ^^^^^^^^^^^^^^
+   |
+   = note: `#[warn(incomplete_features)]` on by default
+