@@ -71,7 +71,7 @@ struct ConstAnalysis<'a, 'tcx> {
71
71
}
72
72
73
73
impl < ' tcx > ConstAnalysis < ' _ , ' tcx > {
74
- fn eval_disciminant (
74
+ fn eval_discriminant (
75
75
& self ,
76
76
enum_ty : Ty < ' tcx > ,
77
77
variant_index : VariantIdx ,
@@ -101,7 +101,7 @@ impl<'tcx> ValueAnalysis<'tcx> for ConstAnalysis<'_, 'tcx> {
101
101
state. flood_discr ( place. as_ref ( ) , & self . map ) ;
102
102
if self . map . find_discr ( place. as_ref ( ) ) . is_some ( ) {
103
103
let enum_ty = place. ty ( self . local_decls , self . tcx ) . ty ;
104
- if let Some ( discr) = self . eval_disciminant ( enum_ty, variant_index) {
104
+ if let Some ( discr) = self . eval_discriminant ( enum_ty, variant_index) {
105
105
state. assign_discr (
106
106
place. as_ref ( ) ,
107
107
ValueOrPlace :: Value ( FlatSet :: Elem ( discr) ) ,
@@ -152,7 +152,7 @@ impl<'tcx> ValueAnalysis<'tcx> for ConstAnalysis<'_, 'tcx> {
152
152
&& let Some ( discr_idx) = self . map ( ) . apply ( target_idx, TrackElem :: Discriminant )
153
153
{
154
154
let enum_ty = target. ty ( self . local_decls , self . tcx ) . ty ;
155
- if let Some ( discr_val) = self . eval_disciminant ( enum_ty, variant_index) {
155
+ if let Some ( discr_val) = self . eval_discriminant ( enum_ty, variant_index) {
156
156
state. insert_value_idx ( discr_idx, FlatSet :: Elem ( discr_val) , & self . map ) ;
157
157
}
158
158
}
0 commit comments