Don't expand types that don't contain type aliases or type parameters.

compiler/frontend/src/org/jetbrains/kotlin/resolve/TypeAliasExpander.kt

@@ -112,6 +112,11 @@ class TypeAliasExpander(
             recursionDepth: Int
     ): TypeProjection {
         val type = originalProjection.type
+
+        if (!type.requiresTypeAliasExpansion()) {
+            return originalProjection
+        }
+
         val typeConstructor = type.constructor
         val typeDescriptor = typeConstructor.declarationDescriptor
 

compiler/frontend/src/org/jetbrains/kotlin/resolve/TypeAliasExpansion.kt

@@ -16,6 +16,7 @@
 
 package org.jetbrains.kotlin.resolve
 
+import org.jetbrains.kotlin.descriptors.ClassifierDescriptor
 import org.jetbrains.kotlin.descriptors.TypeAliasDescriptor
 import org.jetbrains.kotlin.descriptors.TypeParameterDescriptor
 import org.jetbrains.kotlin.types.KotlinType
@@ -57,7 +58,16 @@ class TypeAliasExpansion private constructor(
 }
 
 fun KotlinType.dependsOnTypeAliasParameters(): Boolean =
-        TypeUtils.contains(this) { type ->
+        TypeUtils.contains(this) {
-            val constructorDeclaration = type.constructor.declarationDescriptor
+            it.constructor.declarationDescriptor?.isTypeAliasParameter() ?: false
-            constructorDeclaration is TypeParameterDescriptor && constructorDeclaration.containingDeclaration is TypeAliasDescriptor
+        }
-        }
+
+fun ClassifierDescriptor.isTypeAliasParameter(): Boolean =
+        this is TypeParameterDescriptor && containingDeclaration is TypeAliasDescriptor
+
+fun KotlinType.requiresTypeAliasExpansion(): Boolean =
+        TypeUtils.contains(this) {
+            it.constructor.declarationDescriptor?.let {
+                it is TypeAliasDescriptor || it is TypeParameterDescriptor
+            }
+        }

compiler/testData/diagnostics/tests/typealias/boundsViolationInTypeAliasRHS.kt

@@ -5,8 +5,8 @@ class TColl<T, C : Collection<T>>
 typealias TCErr = TColl<String, <!UPPER_BOUND_VIOLATED!>Any<!>>
 typealias TCErr2 = TCErr
 
-fun testType1(x: <!UPPER_BOUND_VIOLATED_IN_TYPEALIAS_EXPANSION!>TCErr<!>) {}
+fun testType1(x: TCErr) {}
 val testCtor1 = <!UPPER_BOUND_VIOLATED_IN_TYPEALIAS_EXPANSION!>TCErr()<!>
 
-fun testType2(x: <!UPPER_BOUND_VIOLATED_IN_TYPEALIAS_EXPANSION!>TCErr2<!>) {}
+fun testType2(x: TCErr2) {}
 val testCtor2 = <!UPPER_BOUND_VIOLATED_IN_TYPEALIAS_EXPANSION!>TCErr2()<!>