bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Skip most of create_substs_for_ast_path if type is not generic

Browse source 
Co-authored-by: varkor <github@varkor.com>
This commit is contained in:
Dániel Buga 2020-10-21 18:25:28 +02:00
parent 72da5a9d85
commit aebea52263
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/rustc_typeck/src/astconv/mod.rs
View file

@ -337,6 +337,14 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
infer_args, infer_args,
); );
// Skip processing if type has no generic parameters.
// Traits always have `Self` as a generic parameter, which means they will not return early
// here and so associated type bindings will be handled regardless of whether there are any
// non-`Self` generic parameters.
if generic_params.params.len() == 0 {
return (tcx.intern_substs(&[]), vec![], arg_count);
}
let is_object = self_ty.map_or(false, |ty| ty == self.tcx().types.trait_object_dummy_self); let is_object = self_ty.map_or(false, |ty| ty == self.tcx().types.trait_object_dummy_self);
struct SubstsForAstPathCtxt<'a, 'tcx> { struct SubstsForAstPathCtxt<'a, 'tcx> {