From a6ca44cf4092c790664d7218c032ea47ba41f0bc Mon Sep 17 00:00:00 2001
From: Oli Scherer <github333195615777966@oli-obk.de>
Date: Tue, 22 Jul 2025 08:11:23 +0000
Subject: [PATCH] Add more tests

---
 src/tools/rustfmt/tests/source/trait.rs    |  2 ++
 src/tools/rustfmt/tests/target/trait.rs    |  2 ++
 tests/ui/consts/trait_alias_method_call.rs | 31 ++++++++++++++++++++++
 3 files changed, 35 insertions(+)
 create mode 100644 tests/ui/consts/trait_alias_method_call.rs

diff --git a/src/tools/rustfmt/tests/source/trait.rs b/src/tools/rustfmt/tests/source/trait.rs
index b6db9e1590d4..1970646f7770 100644
--- a/src/tools/rustfmt/tests/source/trait.rs
+++ b/src/tools/rustfmt/tests/source/trait.rs
@@ -181,3 +181,5 @@ trait Visible {
     pub fn f();
     pub fn g() {}
 }
+
+const trait Foomp = Hash;
\ No newline at end of file
diff --git a/src/tools/rustfmt/tests/target/trait.rs b/src/tools/rustfmt/tests/target/trait.rs
index 7f067991b267..cc2b59dc6162 100644
--- a/src/tools/rustfmt/tests/target/trait.rs
+++ b/src/tools/rustfmt/tests/target/trait.rs
@@ -218,3 +218,5 @@ trait Visible {
     pub fn f();
     pub fn g() {}
 }
+
+trait Foomp = Hash;
diff --git a/tests/ui/consts/trait_alias_method_call.rs b/tests/ui/consts/trait_alias_method_call.rs
new file mode 100644
index 000000000000..75c51f8f031b
--- /dev/null
+++ b/tests/ui/consts/trait_alias_method_call.rs
@@ -0,0 +1,31 @@
+//! Test that we do not need to handle host effects in `expand_trait_aliases`
+
+#![feature(trait_alias, const_trait_impl)]
+//@ check-pass
+
+mod foo {
+    pub const trait Bar {
+        fn bar(&self) {}
+    }
+    pub const trait Baz {
+        fn baz(&self) {}
+    }
+
+    impl const Bar for () {}
+    impl const Baz for () {}
+
+    pub const trait Foo = [const] Bar + Baz;
+}
+
+use foo::Foo as _;
+
+
+const _: () = {
+    // Ok via `[const] Bar` on `Foo`
+    ().bar();
+    // Also works, because everything is fully concrete, so we're ignoring that
+    // `Baz` is not a const trait bound of `Foo`.
+    ().baz();
+};
+
+fn main() {}