diff --git a/tests/cases/compiler/typeAliasFunctionTypeSharedSymbol.ts b/tests/cases/compiler/typeAliasFunctionTypeSharedSymbol.ts
new file mode 100644
index 00000000000..de430c18bfe
--- /dev/null
+++ b/tests/cases/compiler/typeAliasFunctionTypeSharedSymbol.ts
@@ -0,0 +1,12 @@
+// Repro from comment in #21496
+
+function Mixin<TBase extends {new (...args: any[]): {}}>(Base: TBase) {
+    return class extends Base {
+    };
+}
+
+type Mixin = ReturnTypeOf<typeof Mixin>
+
+type ReturnTypeOf<V> = V extends (...args: any[])=>infer R ? R : never;
+
+type Crashes = number & Mixin;