Skip to content

Select symbols also need to be modified in TreeTypeMap\TreeMap #143

Closed
@DarkDimius

Description

@DarkDimius

Such code will break extensionMethods(and similar breaks tailcalls).

package dotty.tools.dotc
package transform

import dotty.tools.dotc.core.Denotations._
import dotty.tools.dotc.core.Symbols._
import dotty.tools.dotc.core.Contexts._

class TC5(val ctx: Context) extends AnyVal {
  def candidates(mbr: SingleDenotation): Boolean = {
    implicit val c: Context = ctx
    mbr.symbol.exists
  }
}

After creating a fullyParameterizedDef, Select(mbr, 'symbol') has invalid symbol and thus NoType. Ycheck will die trying to find implicit conversion.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions