Andrew Trick 754edc7b8c Type checker: ignore LifetimeDependenceRequest in cycle diagnostic ...

When reporting the declarations that lead to a cycle, we end up printing an
extra "through reference here" on the function declaration:

class C2: C1, P {
   |       |- note: through reference here
   |       `- note: through reference here
15 |     // expected-note@-1 2{{through reference here}}
16 |     override func run(a: A) {}
   |                   |   |  `- note: while resolving type 'A'
   |                   |   `- note: through reference here
   |                   |- error: circular reference
   |                   |- note: through reference here
   |                   `- note: through reference here

2025-05-21 00:25:00 -07:00

5.9 KiB

Raw Permalink Blame History

View Raw