Skip to content

WIP trace logging for as-seen-from #124

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: 2.13.x
Choose a base branch
from
Open

WIP trace logging for as-seen-from #124

wants to merge 1 commit into from

Conversation

retronym
Copy link
Owner

@retronym retronym commented Sep 12, 2023 •
edited
Loading 

object Repro {

  trait O1[O1_A] {
    type O1_A_Alias = O1_A
    trait I1[I1_A] {
      type I1_A_Alias = I1_A
      def foo(__DEBUG__o1_a: O1_A_Alias, i1_A: I1_A_Alias): Unit = ()
    }
  }

  trait O2 extends O1[Int] {
    trait I2 extends I1[String] with O1[Nothing] {
      self: X =>
      self./*resolved: true*/foo(1, "")
    }
  }
  trait X
}

qscalac -d /tmp -Ystop-after:typer /Users/jz/code/intellij-scala/scala/scala-impl/testdata/resolve2/bug/SCL21585D.scala

>> new AsSeenFromMap(I2.this.type, trait I1)
    >> apply((__DEBUG__o1_a: O1.this.O1_A_Alias, i1_A: I1.this.I1_A_Alias): Unit)
        >> apply(O1.this.O1_A_Alias)
            >> apply(O1.this.type)
                >> thisTypeAsSeen(O1.this.type)
                    >> thisTypeAsSeen::loop(I2.this.type, trait I1)
                        >> matchesPrefixAndClass(I2.this.type, trait I1, trait O1)
                        << false
                        >> thisTypeAsSeen::loop(O2.this.type, trait O1)
                            >> matchesPrefixAndClass(O2.this.type, trait O1, trait O1)
                            << true
                        << O2.this.type
                    << O2.this.type
                << O2.this.type
            << O2.this.type
        << O2.this.O1_A_Alias
        >> apply(O1.this.O1_A_Alias)
            >> apply(O1.this.type)
                >> thisTypeAsSeen(O1.this.type)
                    >> thisTypeAsSeen::loop(I2.this.type, trait I1)
                        >> matchesPrefixAndClass(I2.this.type, trait I1, trait O1)
                        << false
                        >> thisTypeAsSeen::loop(O2.this.type, trait O1)
                            >> matchesPrefixAndClass(O2.this.type, trait O1, trait O1)
                            << true
                        << O2.this.type
                    << O2.this.type
                << O2.this.type
            << O2.this.type
        << O2.this.O1_A_Alias
        >> apply(I1.this.I1_A_Alias)
            >> apply(I1.this.type)
                >> thisTypeAsSeen(I1.this.type)
                    >> thisTypeAsSeen::loop(I2.this.type, trait I1)
                        >> matchesPrefixAndClass(I2.this.type, trait I1, trait I1)
                        << true
                    << I2.this.type
                << I2.this.type
            << I2.this.type
        << I2.this.I1_A_Alias
        >> apply(Unit)
            >> apply(scala.type)
                >> thisTypeAsSeen(scala.type)
                    >> thisTypeAsSeen::loop(I2.this.type, trait I1)
                    << scala.type
                << scala.type
            << scala.type
        << Unit
    << (__DEBUG__o1_a: O2.this.O1_A_Alias, i1_A: I2.this.I1_A_Alias): Unit
<< (__DEBUG__o1_a: O2.this.O1_A_Alias, i1_A: I2.this.I1_A_Alias): Unit

@retronym
Copy link
Owner Author 

polymorphicType(ScSubstitutor(`this` -> I2.this.type >> Map(I1_A -> String) >> `this` -> I2.this.type >> `this` -> Repro.O2 >> `this` -> Repro.O2 >> Map(O1_A -> Int) >> `this` -> O2.this.type >> `this` -> Repro.this.type >> `this` -> Repro.O2 >> `this` -> Repro.type), (O1.this.O1_A_Alias, I1.this.I1_A_Alias) => Unit)
  -> SubTypeUpdater.updateSubtypes((O1.this.O1_A_Alias, I1.this.I1_A_Alias) => Unit, covariant, ScSubstitutor(`this` -> I2.this.type >> Map(I1_A -> String) >> `this` -> I2.this.type >> `this` -> Repro.O2 >> `this` -> Repro.O2 >> Map(O1_A -> Int) >> `this` -> O2.this.type >> `this` -> Repro.this.type >> `this` -> Repro.O2 >> `this` -> Repro.type))
    -> SubTypeUpdater.updateSubtypes(O1.this.O1_A_Alias, contravariant, ScSubstitutor(`this` -> I2.this.type >> Map(I1_A -> String) >> `this` -> I2.this.type >> `this` -> Repro.O2 >> `this` -> Repro.O2 >> Map(O1_A -> Int) >> `this` -> O2.this.type >> `this` -> Repro.this.type >> `this` -> Repro.O2 >> `this` -> Repro.type))
      -> ThisTypeSubstitution(O1.this.type, I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, O2.this.type
        -> ThisTypeSubstitution(I2.this.type, Repro.this.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.type
      == I2.this.type
    == I2.this.O1_A_Alias
    -> SubTypeUpdater.updateSubtypes(O1.this.O1_A_Alias, contravariant, ScSubstitutor(`this` -> I2.this.type >> Map(I1_A -> String) >> `this` -> I2.this.type >> `this` -> Repro.O2 >> `this` -> Repro.O2 >> Map(O1_A -> Int) >> `this` -> O2.this.type >> `this` -> Repro.this.type >> `this` -> Repro.O2 >> `this` -> Repro.type))
      -> ThisTypeSubstitution(O1.this.type, I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, O2.this.type
        -> ThisTypeSubstitution(I2.this.type, Repro.this.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.type
      == I2.this.type
    == I2.this.O1_A_Alias
    -> SubTypeUpdater.updateSubtypes(I1.this.I1_A_Alias, contravariant, ScSubstitutor(`this` -> I2.this.type >> Map(I1_A -> String) >> `this` -> I2.this.type >> `this` -> Repro.O2 >> `this` -> Repro.O2 >> Map(O1_A -> Int) >> `this` -> O2.this.type >> `this` -> Repro.this.type >> `this` -> Repro.O2 >> `this` -> Repro.type))
      -> ThisTypeSubstitution(I1.this.type, I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, O2.this.type
        -> ThisTypeSubstitution(I2.this.type, Repro.this.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.type
      == I2.this.type
    == I2.this.I1_A_Alias
    -> SubTypeUpdater.updateSubtypes(I1.this.I1_A_Alias, contravariant, ScSubstitutor(`this` -> I2.this.type >> Map(I1_A -> String) >> `this` -> I2.this.type >> `this` -> Repro.O2 >> `this` -> Repro.O2 >> Map(O1_A -> Int) >> `this` -> O2.this.type >> `this` -> Repro.this.type >> `this` -> Repro.O2 >> `this` -> Repro.type))
      -> ThisTypeSubstitution(I1.this.type, I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, O2.this.type
        -> ThisTypeSubstitution(I2.this.type, Repro.this.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.O2
        -> ThisTypeSubstitution(I2.this.type, Repro.type
        == I2.this.type
      == I2.this.type
      -> ThisTypeSubstitution(I2.this.type, Repro.type
      == I2.this.type
    == I2.this.I1_A_Alias
  == (I2.this.O1_A_Alias, I2.this.I1_A_Alias) => Unit
== (I2.this.O1_A_Alias, I2.this.I1_A_Alias) => Unit

@retronym
Copy link
Owner Author

JetBrains/intellij-scala@idea232.x...retronym:intellij-scala:feature/logged-substitutions

@retronym retronym force-pushed the logged-as-seen-from branch 5 times, most recently from 766d7b0 to 20da4bd Compare December 15, 2023 04:18
@retronym retronym force-pushed the logged-as-seen-from branch from 20da4bd to 98ef469 Compare December 15, 2023 04:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@retronym