Skip to content

Commit a7f7502

Browse files
committed
Put precise types in extractor arguments
1 parent 136b673 commit a7f7502

19 files changed

+72
-75
lines changed

library/src/scala/tasty/names/SignedName.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@ trait SignedName extends PossiblySignedName
66

77
object SignedName {
88
type Data = (TermName, TypeName, List[TypeName])
9-
def unapply(arg: PossiblySignedName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySignedName(arg)
9+
def unapply(arg: SignedName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySignedName(arg)
1010
}

library/src/scala/tasty/names/TypeName.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@ trait TypeName extends Name
66

77
object TypeName {
88
type Data = TermName
9-
def unapply(arg: Name)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeName(arg)
9+
def unapply(arg: TypeName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeName(arg)
1010
}

library/src/scala/tasty/names/package.scala

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -6,49 +6,49 @@ package object names {
66

77
object Simple {
88
type Data = String
9-
def unapply(arg: Name /* | PossiblySigned */)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySimple(arg)
9+
def unapply(arg: TermName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySimple(arg)
1010
}
1111

1212
// s"$prefix.$name"
1313
object Qualified {
1414
type Data = (TermName, String)
15-
def unapply(arg: Name /* | PossiblySigned */)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyQualified(arg)
15+
def unapply(arg: TermName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyQualified(arg)
1616
}
1717

1818
// s"$methodName${"$default$"}${idx+1}"
1919
object DefaultGetter {
2020
type Data = (TermName, String)
21-
def unapply(arg: Name /* | PossiblySigned */)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyDefaultGetter(arg)
21+
def unapply(arg: TermName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyDefaultGetter(arg)
2222
}
2323

2424
// s"${if (covariant) "+" else "-"}$underlying"
2525
object Variant {
2626
type Data = (TermName, Boolean)
27-
def unapply(arg: Name /* | PossiblySigned */)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyVariant(arg)
27+
def unapply(arg: TermName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyVariant(arg)
2828
}
2929

3030
// s"${"super$"}$underlying"
3131
object SuperAccessor {
3232
type Data = TermName
33-
def unapply(arg: Name /* | PossiblySigned */)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySuperAccessor(arg)
33+
def unapply(arg: TermName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySuperAccessor(arg)
3434
}
3535

3636
// s"${"protected$"}$underlying"
3737
object ProtectedAccessor {
3838
type Data = TermName
39-
def unapply(arg: Name /* | PossiblySigned */)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyProtectedAccessor(arg)
39+
def unapply(arg: TermName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyProtectedAccessor(arg)
4040
}
4141

4242
// s"${"protected$set"}$underlying"
4343
object ProtectedSetter {
4444
type Data = TermName
45-
def unapply(arg: Name /* | PossiblySigned */)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyProtectedSetter(arg)
45+
def unapply(arg: TermName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyProtectedSetter(arg)
4646
}
4747

4848
// s"$underlying${"$"}"
4949
object ObjectClass {
5050
type Data = TermName
51-
def unapply(arg: Name /* | PossiblySigned */)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyObjectClass(arg)
51+
def unapply(arg: TermName)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyObjectClass(arg)
5252
}
5353

5454
}

library/src/scala/tasty/trees/CaseDef.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@ trait CaseDef extends Tree
66

77
object CaseDef {
88
type Data = (Pattern, Option[Term], Term)
9-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyCaseDef(arg)
9+
def unapply(arg: CaseDef)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyCaseDef(arg)
1010
}

library/src/scala/tasty/trees/ClassDef.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@ trait ClassDef extends Definition
99
object ClassDef {
1010

1111
type Data = (names.TypeName, DefDef, List[Tree] /* List[Term | TypeTree] */, Option[ValDef], List[Statement], List[Modifier])
12-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyClassDef(arg)
12+
def unapply(arg: ClassDef)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyClassDef(arg)
1313
}

library/src/scala/tasty/trees/DefDef.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,5 +8,5 @@ trait DefDef extends Definition
88

99
object DefDef {
1010
type Data = (names.TermName, List[TypeDef], List[List[ValDef]], TypeTree, Option[Term], List[Modifier])
11-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyDefDef(arg)
11+
def unapply(arg: DefDef)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyDefDef(arg)
1212
}

library/src/scala/tasty/trees/Import.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,5 +7,5 @@ trait Import extends Statement
77

88
object Import {
99
type Data = (Term, List[ImportSelector])
10-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyImport(arg)
10+
def unapply(arg: Import)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyImport(arg)
1111
}

library/src/scala/tasty/trees/PackageClause.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@ trait PackageClause extends TopLevelStatement
66

77
object PackageClause {
88
type Data = (Term, List[TopLevelStatement])
9-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyPackageClause(arg)
9+
def unapply(arg: PackageClause)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyPackageClause(arg)
1010
}

library/src/scala/tasty/trees/PackageDef.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,5 +7,5 @@ trait PackageDef extends Definition
77

88
object PackageDef {
99
type Data = (names.Name, List[Statement])
10-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyPackageDef(arg)
10+
def unapply(arg: PackageDef)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyPackageDef(arg)
1111
}

library/src/scala/tasty/trees/Pattern.scala

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -10,25 +10,25 @@ trait Pattern extends Tree {
1010

1111
object Value {
1212
type Data = Term
13-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyValue(arg)
13+
def unapply(arg: Pattern)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyValue(arg)
1414
}
1515

1616
object Bind {
1717
type Data = (names.TermName, Pattern)
18-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyBind(arg)
18+
def unapply(arg: Pattern)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyBind(arg)
1919
}
2020

2121
object Unapply {
2222
type Data = (Term, List[Term], List[Pattern])
23-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyUnapply(arg)
23+
def unapply(arg: Pattern)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyUnapply(arg)
2424
}
2525

2626
object Alternative {
2727
type Data = List[Pattern]
28-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyAlternative(arg)
28+
def unapply(arg: Pattern)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyAlternative(arg)
2929
}
3030

3131
object TypeTest {
3232
type Data = TypeTree
33-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeTest(arg)
33+
def unapply(arg: Pattern)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeTest(arg)
3434
}

library/src/scala/tasty/trees/TypeBoundsTree.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@ trait TypeBoundsTree extends Tree {
99

1010
object TypeBoundsTree {
1111
type Data = (TypeTree, TypeTree)
12-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeBoundsTree(arg)
12+
def unapply(arg: TypeBoundsTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeBoundsTree(arg)
1313
}

library/src/scala/tasty/trees/TypeDef.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,5 +8,5 @@ trait TypeDef extends Definition
88

99
object TypeDef {
1010
type Data = (names.TypeName, Tree /* Type | TypeBounds */, List[Modifier])
11-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeDef(arg)
11+
def unapply(arg: TypeDef)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeDef(arg)
1212
}

library/src/scala/tasty/trees/ValDef.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,5 +8,5 @@ trait ValDef extends Definition
88

99
object ValDef {
1010
type Data = (names.TermName, TypeTree, Option[Term], List[Modifier])
11-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyValDef(arg)
11+
def unapply(arg: ValDef)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyValDef(arg)
1212
}

library/src/scala/tasty/trees/package.scala

Lines changed: 28 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -8,27 +8,27 @@ package object trees {
88

99
object Ident {
1010
type Data = (names.TermName)
11-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyIdent(arg)
11+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyIdent(arg)
1212
}
1313

1414
object Select {
1515
type Data = (Term, names.PossiblySignedName)
16-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySelect(arg)
16+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySelect(arg)
1717
}
1818

1919
object Literal {
2020
type Data = constants.Constant
21-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyLiteral(arg)
21+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyLiteral(arg)
2222
}
2323

2424
object This {
2525
type Data = Option[Id]
26-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyThis(arg)
26+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyThis(arg)
2727
}
2828

2929
object New {
3030
type Data = TypeTree
31-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyNew(arg)
31+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyNew(arg)
3232
}
3333

3434
object NamedArg {
@@ -38,72 +38,72 @@ package object trees {
3838

3939
object Apply {
4040
type Data = (Term, List[Term])
41-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyApply(arg)
41+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyApply(arg)
4242
}
4343

4444
object TypeApply {
4545
type Data = (Term, List[TypeTree])
46-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeApply(arg)
46+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeApply(arg)
4747
}
4848

4949
object Super {
5050
type Data = (Term, Option[Id])
51-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySuper(arg)
51+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySuper(arg)
5252
}
5353

5454
object Typed {
5555
type Data = (Term, TypeTree)
56-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTyped(arg)
56+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTyped(arg)
5757
}
5858

5959
object Assign {
6060
type Data = (Term, Term)
61-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyAssign(arg)
61+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyAssign(arg)
6262
}
6363

6464
object Block {
6565
type Data = (List[Statement], Term)
66-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyBlock(arg)
66+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyBlock(arg)
6767
}
6868

6969
object Inlined {
7070
type Data = (Term, List[Definition], Term)
71-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyInlined(arg)
71+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyInlined(arg)
7272
}
7373

7474
object Lambda {
7575
type Data = (Term, Option[TypeTree])
76-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyLambda(arg)
76+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyLambda(arg)
7777
}
7878

7979
object If {
8080
type Data = (Term, Term, Term)
81-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyIf(arg)
81+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyIf(arg)
8282
}
8383

8484
object Match {
8585
type Data = (Term, List[CaseDef])
86-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyMatch(arg)
86+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyMatch(arg)
8787
}
8888

8989
object Try {
9090
type Data = (Term, List[CaseDef], Option[Term])
91-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTry(arg)
91+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTry(arg)
9292
}
9393

9494
object Return {
9595
type Data = Term
96-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyReturn(arg)
96+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyReturn(arg)
9797
}
9898

9999
object Repeated {
100100
type Data = List[Term]
101-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyRepeated(arg)
101+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyRepeated(arg)
102102
}
103103

104104
object SelectOuter {
105105
type Data = (Term, Int, types.Type)
106-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySelectOuter(arg)
106+
def unapply(arg: Term)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySelectOuter(arg)
107107
}
108108

109109
// Type trees
@@ -114,47 +114,47 @@ package object trees {
114114

115115
object TypeIdent {
116116
type Data = names.TypeName
117-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeIdent(arg)
117+
def unapply(arg: TypeTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeIdent(arg)
118118
}
119119

120120
object TypeSelect {
121121
type Data = (Term, names.TypeName)
122-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeSelect(arg)
122+
def unapply(arg: TypeTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeSelect(arg)
123123
}
124124

125125
object Singleton {
126126
type Data = Term
127-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySingleton(arg)
127+
def unapply(arg: TypeTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplySingleton(arg)
128128
}
129129

130130
object Refined {
131131
type Data = (TypeTree, List[Definition])
132-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyRefined(arg)
132+
def unapply(arg: TypeTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyRefined(arg)
133133
}
134134

135135
object Applied {
136136
type Data = (TypeTree, List[TypeTree])
137-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyApplied(arg)
137+
def unapply(arg: TypeTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyApplied(arg)
138138
}
139139

140140
object Annotated {
141141
type Data = (TypeTree, Term)
142-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyAnnotated(arg)
142+
def unapply(arg: TypeTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyAnnotated(arg)
143143
}
144144

145145
object And {
146146
type Data = (TypeTree, TypeTree)
147-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyAnd(arg)
147+
def unapply(arg: TypeTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyAnd(arg)
148148
}
149149

150150
object Or {
151151
type Data = (TypeTree, TypeTree)
152-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyOr(arg)
152+
def unapply(arg: TypeTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyOr(arg)
153153
}
154154

155155
object ByName {
156156
type Data = TypeTree
157-
def unapply(arg: Tree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyByName(arg)
157+
def unapply(arg: TypeTree)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyByName(arg)
158158
}
159159

160160
}

library/src/scala/tasty/types/LambdaType.scala

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,17 +11,17 @@ trait MethodType extends LambdaType[names.TermName, Type] {
1111
}
1212
object MethodType {
1313
type Data = (List[names.TermName], List[Type], Type)
14-
def unapply(arg: MaybeType)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyMethodType(arg)
14+
def unapply(arg: MethodType)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyMethodType(arg)
1515
}
1616

1717
trait PolyType extends LambdaType[names.TypeName, TypeBounds]
1818
object PolyType {
1919
type Data = (List[names.TypeName], List[TypeBounds], Type)
20-
def unapply(arg: MaybeType)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyPolyType(arg)
20+
def unapply(arg: PolyType)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyPolyType(arg)
2121
}
2222

2323
trait TypeLambda extends LambdaType[names.TypeName, TypeBounds]
2424
object TypeLambda {
2525
type Data = (List[names.TypeName], List[TypeBounds], Type)
26-
def unapply(arg: MaybeType)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeLambda(arg)
26+
def unapply(arg: TypeLambda)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeLambda(arg)
2727
}

library/src/scala/tasty/types/RecursiveType.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@ trait RecursiveType extends Type
66

77
object RecursiveType {
88
type Data = Type
9-
def unapply(arg: MaybeType)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyRecursiveType(arg)
9+
def unapply(arg: RecursiveType)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyRecursiveType(arg)
1010
}

library/src/scala/tasty/types/TypeBounds.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@ trait TypeBounds extends MaybeType
66

77
object TypeBounds {
88
type Data = (Type, Type)
9-
def unapply(arg: MaybeType)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeBounds(arg)
9+
def unapply(arg: TypeBounds)(implicit toolbox: Toolbox): Option[Data] = toolbox.unapplyTypeBounds(arg)
1010
}

0 commit comments

Comments
 (0)