Skip to content

Commit

Permalink
Clean comments
Browse files Browse the repository at this point in the history
  • Loading branch information
noti0na1 committed Nov 29, 2024
1 parent 9b92726 commit 5a901f4
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions compiler/src/dotty/tools/dotc/typer/RefChecks.scala
Original file line number Diff line number Diff line change
Expand Up @@ -84,10 +84,8 @@ object RefChecks {
* This one used to succeed only if forwarding parameters is on.
* (Forwarding tends to hide problems by binding parameter names).
*/

private def upwardsThisType(cls: Symbol)(using Context) = cls.info match {
case ClassInfo(_, _, _, _, tp: Type) if (tp.stripCapturing ne cls.typeRef) && !cls.isOneOf(FinalOrModuleClass) =>
// println(i"upwardsThisType($cls) = ${cls.typeRef}, ne $tp")
SkolemType(cls.appliedRef).withName(nme.this_)
case _ =>
cls.thisType
Expand Down Expand Up @@ -442,7 +440,7 @@ object RefChecks {
val (mtp, otp) = if compareTypes then (memberTp(self), otherTp(self)) else (NoType, NoType)
OverrideError(core, self, member, other, mtp, otp)

def compatTypes(memberTp: Type, otherTp: Type): Boolean = // race.force(i"compatTypes $memberTp <:< $otherTp"):
def compatTypes(memberTp: Type, otherTp: Type): Boolean =
try
isOverridingPair(member, memberTp, other, otherTp,
fallBack = warnOnMigration(
Expand Down

0 comments on commit 5a901f4

Please sign in to comment.