@@ -7,40 +7,20 @@ trait ImplicitsOps extends Core {
77
88 given (given Context ): IsInstanceOf [ImplicitSearchSuccess ] = internal.isInstanceOfImplicitSearchSuccess
99
10- object IsImplicitSearchSuccess
11- @ deprecated(" Use _: ImplicitSearchSuccess" , " " )
12- def unapply (isr : ImplicitSearchSuccess )(given ctx : Context ): Option [ImplicitSearchSuccess ] = Some (isr)
13-
1410 given successOps : extension (self : ImplicitSearchSuccess ) {
1511 def tree (given ctx : Context ): Term = internal.ImplicitSearchSuccess_tree (self)
1612 }
1713
1814 given (given Context ): IsInstanceOf [ImplicitSearchFailure ] = internal.isInstanceOfImplicitSearchFailure
1915
20- object IsImplicitSearchFailure
21- @ deprecated(" Use _: ImplicitSearchFailure" , " " )
22- def unapply (isr : ImplicitSearchFailure )(given ctx : Context ): Option [ImplicitSearchFailure ] = Some (isr)
23-
2416 given failureOps : extension (self : ImplicitSearchFailure ) {
2517 def explanation (given ctx : Context ): String = internal.ImplicitSearchFailure_explanation (self)
2618 }
2719
2820 given (given Context ): IsInstanceOf [DivergingImplicit ] = internal.isInstanceOfDivergingImplicit
2921
30- object IsDivergingImplicit
31- @ deprecated(" Use _: DivergingImplicit" , " " )
32- def unapply (isr : DivergingImplicit )(given ctx : Context ): Option [DivergingImplicit ] = Some (isr)
33-
3422 given (given Context ): IsInstanceOf [NoMatchingImplicits ] = internal.isInstanceOfNoMatchingImplicits
3523
36- object IsNoMatchingImplicits
37- @ deprecated(" Use _: NoMatchingImplicits" , " " )
38- def unapply (isr : NoMatchingImplicits )(given ctx : Context ): Option [NoMatchingImplicits ] = Some (isr)
39-
4024 given (given Context ): IsInstanceOf [AmbiguousImplicits ] = internal.isInstanceOfAmbiguousImplicits
4125
42- object IsAmbiguousImplicits
43- @ deprecated(" Use _: AmbiguousImplicits" , " " )
44- def unapply (isr : AmbiguousImplicits )(given ctx : Context ): Option [AmbiguousImplicits ] = Some (isr)
45-
4626}
0 commit comments