@@ -88,15 +88,15 @@ pub fn translate_substs<'a, 'gcx, 'tcx>(infcx: &InferCtxt<'a, 'gcx, 'tcx>,
88
88
// vary across impls
89
89
let target_substs = match target_node {
90
90
specialization_graph:: Node :: Impl ( target_impl) => {
91
- // no need to translate if we're targetting the impl we started with
91
+ // no need to translate if we're targeting the impl we started with
92
92
if source_impl == target_impl {
93
93
return source_substs;
94
94
}
95
95
96
96
fulfill_implication ( infcx, param_env, source_trait_ref, target_impl)
97
97
. unwrap_or_else ( |_| {
98
98
bug ! ( "When translating substitutions for specialization, the expected \
99
- specializaiton failed to hold")
99
+ specialization failed to hold")
100
100
} )
101
101
}
102
102
specialization_graph:: Node :: Trait ( ..) => source_trait_ref. substs ,
@@ -107,7 +107,7 @@ pub fn translate_substs<'a, 'gcx, 'tcx>(infcx: &InferCtxt<'a, 'gcx, 'tcx>,
107
107
}
108
108
109
109
/// Given a selected impl described by `impl_data`, returns the
110
- /// definition and substitions for the method with the name `name`
110
+ /// definition and substitutions for the method with the name `name`
111
111
/// the kind `kind`, and trait method substitutions `substs`, in
112
112
/// that impl, a less specialized impl, or the trait default,
113
113
/// whichever applies.
@@ -305,7 +305,7 @@ pub(super) fn specialization_graph_provider<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx
305
305
// The coherence checking implementation seems to rely on impls being
306
306
// iterated over (roughly) in definition order, so we are sorting by
307
307
// negated CrateNum (so remote definitions are visited first) and then
308
- // by a flattend version of the DefIndex.
308
+ // by a flattened version of the DefIndex.
309
309
trait_impls. sort_unstable_by_key ( |def_id| {
310
310
( -( def_id. krate . as_u32 ( ) as i64 ) ,
311
311
def_id. index . address_space ( ) . index ( ) ,
0 commit comments