@@ -22,7 +22,7 @@ use crate::hir;
22
22
use crate :: hir:: Node ;
23
23
use crate :: hir:: def_id:: DefId ;
24
24
use crate :: infer:: { self , InferCtxt } ;
25
- use crate :: infer:: error_reporting:: TypeAnnotationNeeded :: * ;
25
+ use crate :: infer:: error_reporting:: TypeAnnotationNeeded as ErrorCode ;
26
26
use crate :: infer:: type_variable:: { TypeVariableOrigin , TypeVariableOriginKind } ;
27
27
use crate :: session:: DiagnosticMessageId ;
28
28
use crate :: ty:: { self , AdtKind , DefIdTree , ToPredicate , ToPolyTraitRef , Ty , TyCtxt , TypeFoldable } ;
@@ -1989,10 +1989,10 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
1989
1989
if self . tcx . lang_items ( ) . sized_trait ( )
1990
1990
. map_or ( false , |sized_id| sized_id == trait_ref. def_id ( ) )
1991
1991
{
1992
- self . need_type_info_err ( body_id, span, self_ty, E0282 ) . emit ( ) ;
1992
+ self . need_type_info_err ( body_id, span, self_ty, ErrorCode :: E0282 ) . emit ( ) ;
1993
1993
return ;
1994
1994
}
1995
- let mut err = self . need_type_info_err ( body_id, span, self_ty, E0283 ) ;
1995
+ let mut err = self . need_type_info_err ( body_id, span, self_ty, ErrorCode :: E0283 ) ;
1996
1996
err. note ( & format ! ( "cannot resolve `{}`" , predicate) ) ;
1997
1997
err
1998
1998
}
@@ -2003,7 +2003,7 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
2003
2003
if ty. references_error ( ) || self . tcx . sess . has_errors ( ) {
2004
2004
return ;
2005
2005
}
2006
- self . need_type_info_err ( body_id, span, ty, E0282 )
2006
+ self . need_type_info_err ( body_id, span, ty, ErrorCode :: E0282 )
2007
2007
}
2008
2008
2009
2009
ty:: Predicate :: Subtype ( ref data) => {
@@ -2014,15 +2014,15 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
2014
2014
let & SubtypePredicate { a_is_expected : _, a, b } = data. skip_binder ( ) ;
2015
2015
// both must be type variables, or the other would've been instantiated
2016
2016
assert ! ( a. is_ty_var( ) && b. is_ty_var( ) ) ;
2017
- self . need_type_info_err ( body_id, span, a, E0282 )
2017
+ self . need_type_info_err ( body_id, span, a, ErrorCode :: E0282 )
2018
2018
}
2019
2019
ty:: Predicate :: Projection ( ref data) => {
2020
2020
let trait_ref = data. to_poly_trait_ref ( self . tcx ) ;
2021
2021
let self_ty = trait_ref. self_ty ( ) ;
2022
2022
if predicate. references_error ( ) {
2023
2023
return ;
2024
2024
}
2025
- let mut err = self . need_type_info_err ( body_id, span, self_ty, E0284 ) ;
2025
+ let mut err = self . need_type_info_err ( body_id, span, self_ty, ErrorCode :: E0284 ) ;
2026
2026
err. note ( & format ! ( "cannot resolve `{}`" , predicate) ) ;
2027
2027
err
2028
2028
}
0 commit comments