Drop unused attachment

Author: odersky

compiler/src/dotty/tools/dotc/ast/Desugar.scala

@@ -23,11 +23,6 @@ object desugar {
   import untpd._
   import DesugarEnums._
 
-  /** If a Select node carries this attachment, suppress the check
-   *  that its type refers to an acessible symbol.
-   */
-  val SuppressAccessCheck: Property.Key[Unit] = Property.Key()
-
   /** An attachment for companion modules of classes that have a `derives` clause.
    *  The position value indicates the start position of the template of the
    *  deriving class.

compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala

@@ -173,11 +173,9 @@ trait TypeAssigner {
   /** The type of the selection in `tree`, where `qual1` is the typed qualifier part.
    *  The selection type is additionally checked for accessibility.
    */
-  def accessibleSelectionType(tree: untpd.RefTree, qual1: Tree)(using Context): Type = {
+  def accessibleSelectionType(tree: untpd.RefTree, qual1: Tree)(using Context): Type =
     val ownType = selectionType(tree, qual1)
-    if (tree.hasAttachment(desugar.SuppressAccessCheck)) ownType
-    else ensureAccessible(ownType, qual1.isInstanceOf[Super], tree.srcPos)
-  }
+    ensureAccessible(ownType, qual1.isInstanceOf[Super], tree.srcPos)
 
   /** Type assignment method. Each method takes as parameters
    *   - an untpd.Tree to which it assigns a type,