Update MiMaFilters and error code snippets

Author: odersky

docs/_docs/reference/error-codes/E164.md

@@ -39,8 +39,8 @@ class Derived extends Base {
   |   => String
   | but none of the attempts shown below succeeded:
   |
-  |   ==> => Int  <:  => String
-  |     ==> Int  <:  String  = false
+  |   ==> => Int  <:  => String in frozen constraint
+  |     ==> Int  <:  String in frozen constraint = false
   |
   | The tests were made under the empty constraint
    -----------------------------------------------------------------------------

project/MiMaFilters.scala

@@ -195,6 +195,11 @@ object MiMaFilters {
         ProblemFilters.exclude[MissingClassProblem]("scala.collection.immutable.LazyListIterableBase$InRace"),
         ProblemFilters.exclude[MissingClassProblem]("scala.collection.immutable.LazyListIterableBase$InRace$Sync"),
         ProblemFilters.exclude[MissingClassProblem]("scala.collection.immutable.LazyListIterableBase$TailUpdater"),
+
+        ProblemFilters.exclude[MissingClassProblem]("scala.magic.package"),
+        ProblemFilters.exclude[MissingClassProblem]("scala.magic.package$"),
+        ProblemFilters.exclude[MissingClassProblem]("scala.magic.compiletime.package"),
+        ProblemFilters.exclude[MissingClassProblem]("scala.magic.compiletime.package$"),
       ),
     )