[rochala]

Closes #206.

Type and term refinements printed as their parent only, so Aux-style types lost the member they pin:

- implicit def toAlignOps[F[_], A](target: F[A])(implicit tc: Align[F]): Ops[F, A]
+ implicit def toAlignOps[F[_], A](target: F[A])(implicit tc: Align[F]): Ops[F, A] { type TypeClassType = Align[F] }

This builds on the backup-branch commit (d262e19) and fixes the two problems its review found:

• Sibling references: def struct: { type A; def get: A } printed def get: RecThis.A. Dotty's TypeAssigner closes a refinement over itself (RecType.closeOver(… substThis(refineCls, rt.recThis))), so a RecThis prefix stands for the bare sibling name the source wrote. It now prints A. Dotty's own printer names the binder instead ({z1 => Object{type A; def get: z1.A}} in the 3.7.4 REPL); cellar follows the source here.
• Object parent: type Tupled[F[_]] = { type Ap[X, Y] = F[(X, Y)] } printed = Object { … }. Dotty's Typer.typedRefinedTypeTree fills an omitted parent with Object, and scalac with AnyRef. The new helper isOmittedRefinementParent leaves a parent that dealiases to Object out. An explicitly written Object { … } can't be told apart once compiled, so it loses the Object too. Dotty's printer keeps it (Object{type Ap[X,Y] = …}).
• Function types: [X] => F[X] => G[X] is stored as PolyFunction refined with apply, and so is a dependent (x: A) => x.T on FunctionN. As in dotty's RefinedPrinter (defn.isFunctionType → toTextMethodAsFunction), these print as functions, using the helper isRefinedFunction. Parameter names that Desugar.makePolyFunctionType invented (x$1, …) are left out, as written in source; dotty leaves them out only under capture checking. Written names stay: [X] => (fx: List[X], n: Int) => Option[X].
• Spacing: dotty prints Ops[Int]{type TC = String}; cellar puts spaces around the braces, as the source does.

Benchmark side: the comparison now treats refinement members split by lines and by ; alike. Without that, every multi-member refinement counted as "still differs".

Tests: new fixtures cover a sibling reference (Scala 3 and Scala 2) and an Object-parent alias (Scala 3). Two more fixtures cover poly functions with invented and with written parameter names. Each refinement test fails with its fix disabled. Checked end to end with get-external on the fixtures and on cats' Align ops conversions.

Signature benchmark vs origin/main:

• Scala 3: 106 changed (fixed: 103, regressed: 0, still differs: 3), 13643 unchanged
• Scala 2: 105 changed (fixed: 100, regressed: 0, still differs: 5), 13539 unchanged
• Java: 0 changed, 24772 unchanged

Still differs, out of scope:

• Alias parameter variance (Scala: variance of higher-kinded and alias type parameters is lost #219), e.g. type Out[-A, -B, C]: 3 entries in Scala 3, 3 in Scala 2.
• Member order on Scala 2: members come out alphabetical (type E = E0; type R = R0 for source R then E): 2 entries.

🤖 Generated with Claude Code

https://claude.ai/code/session_01NKsT2pk4Cgn8JG8KsYEWoP