X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Flibrustc%2Finfer%2Ffudge.rs;h=5f6a8802b4defbe7a8b9f7b5e66a41d4384b6f80;hb=9a3e22e32f634014b02f13495aef3f0e8cdbb1b7;hp=d205cfcf73b7eafca9604dde306ee4aa0dc86203;hpb=1a99a32bd7cfd38e1d084d3dad3290c5b764ac7a;p=rust.git diff --git a/src/librustc/infer/fudge.rs b/src/librustc/infer/fudge.rs index d205cfcf73b..5f6a8802b4d 100644 --- a/src/librustc/infer/fudge.rs +++ b/src/librustc/infer/fudge.rs @@ -22,13 +22,13 @@ impl<'a, 'gcx, 'tcx> InferCtxt<'a, 'gcx, 'tcx> { /// closure `f`. In our example above, what this closure will do /// is to unify the expectation (`Option<&[u32]>`) with the actual /// return type (`Option`, where `?T` represents the variable - /// instantiated for `T`). This will cause `?T` to be unified + /// instantiated for `T`). This will cause `?T` to be unified /// with `&?a [u32]`, where `?a` is a fresh lifetime variable. The /// input type (`?T`) is then returned by `f()`. /// /// At this point, `fudge_regions_if_ok` will normalize all type /// variables, converting `?T` to `&?a [u32]` and end the - /// snapshot. The problem is that we can't just return this type + /// snapshot. The problem is that we can't just return this type /// out, because it references the region variable `?a`, and that /// region variable was popped when we popped the snapshot. ///