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() {}