about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
diff options
context:
space:
mode:
authorlcnr <rust@lcnr.de>2022-09-19 11:44:29 +0200
committerlcnr <rust@lcnr.de>2022-09-19 11:44:29 +0200
commit0c3e01d8f6d0d860fb00e344d9012a45afa16e03 (patch)
treef827ceccbf9b3f66b44be1d075f652738f4789f3 /compiler/rustc_middle/src
parent647052fc04960acf5143e98763e02169ba76a08d (diff)
extend polymorphization hack comment.
Diffstat (limited to 'compiler/rustc_middle/src')
-rw-r--r--compiler/rustc_middle/src/ty/layout.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/layout.rs b/compiler/rustc_middle/src/ty/layout.rs
index b53ec21b764..cc820d9eb2d 100644
--- a/compiler/rustc_middle/src/ty/layout.rs
+++ b/compiler/rustc_middle/src/ty/layout.rs
@@ -2767,6 +2767,8 @@ impl<'tcx> ty::Instance<'tcx> {
                 // (i.e. due to being inside a projection that got normalized, see
                 // `src/test/ui/polymorphization/normalized_sig_types.rs`), and codegen not keeping
                 // track of a polymorphization `ParamEnv` to allow normalizing later.
+                //
+                // We normalize the `fn_sig` again after substituting at a later point.
                 let mut sig = match *ty.kind() {
                     ty::FnDef(def_id, substs) => tcx
                         .bound_fn_sig(def_id)