const_items_unit_type_default: add tests

Author: GrigorenkoPV

tests/ui/consts/const-item-without-ty/assert-fail.rs

@@ -0,0 +1,10 @@
+//@ check-fail
+
+#![feature(const_items_unit_type_default)]
+
+const _ = assert!(false);
+//~^ ERROR: evaluation panicked: assertion failed: false [E0080]
+const _ = assert!(2 + 2 == 5);
+//~^ ERROR: evaluation panicked: assertion failed: 2 + 2 == 5 [E0080]
+
+fn main() {}

tests/ui/consts/const-item-without-ty/assert-fail.stderr

@@ -0,0 +1,15 @@
+error[E0080]: evaluation panicked: assertion failed: false
+  --> $DIR/assert-fail.rs:5:11
+   |
+LL | const _ = assert!(false);
+   |           ^^^^^^^^^^^^^^ evaluation of `_` failed here
+
+error[E0080]: evaluation panicked: assertion failed: 2 + 2 == 5
+  --> $DIR/assert-fail.rs:7:11
+   |
+LL | const _ = assert!(2 + 2 == 5);
+   |           ^^^^^^^^^^^^^^^^^^^ evaluation of `_` failed here
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0080`.

tests/ui/consts/const-item-without-ty/assert-pass.rs

@@ -0,0 +1,7 @@
+//@ check-pass
+#![feature(const_items_unit_type_default)]
+
+const _ = assert!(true);
+const _ = assert!(2 + 2 == 4);
+
+fn main() {}

tests/ui/consts/const-item-without-ty/typecheck.rs

@@ -0,0 +1,19 @@
+//@ check-fail
+
+#![feature(const_items_unit_type_default)]
+
+const _ = {
+    assert!(true);
+    2 + 2 //~ ERROR: mismatched types [E0308]
+};
+
+const fn id<T>(t: T) -> T {
+    t
+}
+
+const _ = id(2);
+//~^ ERROR: mismatched types [E0308]
+const _ = id(());
+
+
+fn main() {}

tests/ui/consts/const-item-without-ty/typecheck.stderr

@@ -0,0 +1,30 @@
+error[E0308]: mismatched types
+  --> $DIR/typecheck.rs:7:5
+   |
+LL |     2 + 2
+   |     ^^^^^ expected `()`, found integer
+
+error[E0308]: mismatched types
+  --> $DIR/typecheck.rs:14:14
+   |
+LL | const _ = id(2);
+   |           -- ^ expected `()`, found integer
+   |           |
+   |           arguments to this function are incorrect
+   |
+help: the return type of this call is `{integer}` due to the type of the argument passed
+  --> $DIR/typecheck.rs:14:11
+   |
+LL | const _ = id(2);
+   |           ^^^-^
+   |              |
+   |              this argument influences the return type of `id`
+note: function defined here
+  --> $DIR/typecheck.rs:10:10
+   |
+LL | const fn id<T>(t: T) -> T {
+   |          ^^    ----
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0308`.

tests/ui/parser/const-item-without-ty/attrs.rs

@@ -0,0 +1,13 @@
+//@ check-pass
+#![feature(const_items_unit_type_default)]
+
+#[cfg(false)]
+const _ = assert!(false);
+
+#[expect(unused)]
+const _ = {
+    let a = 1;
+    assert!(true);
+};
+
+fn main() {}

tests/ui/parser/const-item-without-ty/macro.rs

@@ -0,0 +1,14 @@
+//@ check-pass
+#![feature(const_items_unit_type_default)]
+
+macro_rules! foo {
+    ($item:item) => {
+        $item
+    };
+}
+
+foo!(const _ = {};);
+
+fn main() {
+    foo!(const _ = {};);
+}