File tree 2 files changed +10
-10
lines changed
2 files changed +10
-10
lines changed Original file line number Diff line number Diff line change @@ -557,16 +557,6 @@ impl<'tcx> InferCtxtBuilder<'tcx> {
557
557
}
558
558
}
559
559
560
- impl < T > ExpectedFound < T > {
561
- pub fn new ( a_is_expected : bool , a : T , b : T ) -> Self {
562
- if a_is_expected {
563
- ExpectedFound { expected : a, found : b }
564
- } else {
565
- ExpectedFound { expected : b, found : a }
566
- }
567
- }
568
- }
569
-
570
560
impl < ' tcx , T > InferOk < ' tcx , T > {
571
561
pub fn unit ( self ) -> InferOk < ' tcx , ( ) > {
572
562
InferOk { value : ( ) , obligations : self . obligations }
Original file line number Diff line number Diff line change @@ -15,6 +15,16 @@ pub struct ExpectedFound<T> {
15
15
pub found : T ,
16
16
}
17
17
18
+ impl < T > ExpectedFound < T > {
19
+ pub fn new ( a_is_expected : bool , a : T , b : T ) -> Self {
20
+ if a_is_expected {
21
+ ExpectedFound { expected : a, found : b }
22
+ } else {
23
+ ExpectedFound { expected : b, found : a }
24
+ }
25
+ }
26
+ }
27
+
18
28
// Data structures used in type unification
19
29
#[ derive( Clone , Debug , TypeFoldable ) ]
20
30
pub enum TypeError < ' tcx > {
You can’t perform that action at this time.
0 commit comments