Ignore best effort compilation failure; add some more controversial

examples; Hide more implementation parts under modularity

Author: KacperFKorban

Diff for: compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -3518,7 +3518,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
         def typedUnnamed(tree: untpd.Tree): Tree = tree match {
           case tree: untpd.Apply =>
             if (ctx.mode is Mode.Pattern) typedUnApply(tree, pt)
-            else if (ctx.mode.is(Mode.Type) && !ctx.isAfterTyper) typedAppliedConstructorType(tree)
+            else if (Feature.enabled(modularity) && ctx.mode.is(Mode.Type) && !ctx.isAfterTyper) typedAppliedConstructorType(tree)
             else typedApply(tree, pt)
           case tree: untpd.This => typedThis(tree)
           case tree: untpd.Number => typedNumber(tree, pt)

Diff for: compiler/test/dotc/neg-best-effort-unpickling.excludelist

@@ -18,3 +18,6 @@ i18750.scala
 
 # Crash on invalid prefix ([A] =>> Int)
 i22357a.scala
+
+# `110 (of class java.lang.Integer)`
+context-function-syntax.scala

Diff for: tests/pos/applied_constructor_types.scala

@@ -12,6 +12,8 @@ class Person(val name: String, tracked val age: Int)
 class PersonPrime(val name: String)(tracked val age: Int)
 class PersonBis(tracked val name: String)(val age: Int)
 
+class Generic[A](val a: A)
+
 object O:
   val m: Int = 27
 
@@ -46,4 +48,8 @@ object Test extends App {
   val personBis: PersonBis("Kasia")(27) = PersonBis("Kasia")(27)
   val personBis1: PersonBis("Kasia")(n) = PersonBis("Kasia")(n)
   val personBis2: PersonBis("Kasia")(O.m) = PersonBis("Kasia")(O.m)
+
+  val generic1: Generic(compiletime.erasedValue[Int]) = Generic(42)
+  val generic2: Generic(??? : Int) = Generic(42)
+  val generic3: Generic(43) = Generic(42)
 }