--- /dev/null
+error[E0658]: type alias impl trait is not permitted here
+ --> $DIR/issue-60407.rs:9:39
+ |
+LL | static mut TEST: Option<Debuggable> = None;
+ | ^^^^
+ |
+ = note: see issue #63065 <https://github.com/rust-lang/rust/issues/63065> for more information
+ = help: add `#![feature(impl_trait_in_bindings)]` to the crate attributes to enable
+
+error: concrete type differs from previous defining opaque type use
+ --> $DIR/issue-60407.rs:16:1
+ |
+LL | fn foo() -> Debuggable {
+ | ^^^^^^^^^^^^^^^^^^^^^^ expected `[type error]`, got `u32`
+ |
+note: previous use here
+ --> $DIR/issue-60407.rs:9:1
+ |
+LL | static mut TEST: Option<Debuggable> = None;
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0658`.