Preserve type bounds for inlined definitions in posttyper

compiler/src/dotty/tools/dotc/transform/PostTyper.scala

@@ -363,6 +363,7 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisPhase
         case Inlined(call, bindings, expansion) if !call.isEmpty =>
           val pos = call.sourcePos
           CrossVersionChecks.checkExperimentalRef(call.symbol, pos)
+          super.transform(call)
           val callTrace = Inlines.inlineCallTrace(call.symbol, pos)(using ctx.withSource(pos.source))
           cpy.Inlined(tree)(callTrace, transformSub(bindings), transform(expansion)(using inlineContext(call)))
         case templ: Template =>

tests/neg/i17168.scala

@@ -0,0 +1,3 @@
+type F[X <: String] = X
+
+val a = summon[F[Int] =:= Int] // error

tests/run/anon-mirror-gen-local.scala

@@ -55,7 +55,7 @@ class Outer5 { self =>
     }
   }
 
-  lazy val o = new Outer5() // infinite init
+  final lazy val o = new Outer5() // infinite init
 
 }
 
@@ -142,7 +142,7 @@ def locally3 = {
   class Bar extends Foo {
 
     def hello =
-      val mQux = summon[Mirror.Of[Bar.super.foo.type]]
+      val mQux = summon[Mirror.Of[foo.type]]
       assert(mQux.fromProduct(EmptyTuple) == Qux)
   }
 
@@ -157,4 +157,4 @@ def locally3 = {
   testOuter6
   locally1
   locally2
-  locally3
+  locally3

tests/run/i13332a.scala

@@ -150,7 +150,7 @@ class SubUniverse extends Universe {
 
 trait Whole {
   trait MixinA {
-    lazy val mixinB = new MixinB() {}
+    final lazy val mixinB = new MixinB() {}
   }
   trait MixinB {
     object A extends MixinB { // by inheriting `MixinB`, we should not check for inheritance from the right