diff options
| author | Oli Scherer <github35764891676564198441@oli-obk.de> | 2021-08-20 13:36:30 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-02-02 15:40:10 +0000 |
| commit | bbbdcb327f49274cf48a3d010c715dcdc3999d81 (patch) | |
| tree | 2f9537918038adbbc49f0e0c80f84bca7be101be | |
| parent | a4c1cec4f8d27fcff7a3fca2276bec5e767696e9 (diff) | |
| download | rust-bbbdcb327f49274cf48a3d010c715dcdc3999d81.tar.gz rust-bbbdcb327f49274cf48a3d010c715dcdc3999d81.zip | |
Update some comments
| -rw-r--r-- | compiler/rustc_middle/src/ty/sty.rs | 1 | ||||
| -rw-r--r-- | compiler/rustc_typeck/src/check/upvar.rs | 5 |
2 files changed, 1 insertions, 5 deletions
diff --git a/compiler/rustc_middle/src/ty/sty.rs b/compiler/rustc_middle/src/ty/sty.rs index 7d4af6cfa40..a53d5f6626b 100644 --- a/compiler/rustc_middle/src/ty/sty.rs +++ b/compiler/rustc_middle/src/ty/sty.rs @@ -152,6 +152,7 @@ pub enum TyKind<'tcx> { /// The anonymous type of a closure. Used to represent the type of /// `|a| a`. + /// For the order of the substs see the `ClosureSubsts` type's documentation. Closure(DefId, SubstsRef<'tcx>), /// The anonymous type of a generator. Used to represent the type of diff --git a/compiler/rustc_typeck/src/check/upvar.rs b/compiler/rustc_typeck/src/check/upvar.rs index becae6c9dc9..0482e8b895b 100644 --- a/compiler/rustc_typeck/src/check/upvar.rs +++ b/compiler/rustc_typeck/src/check/upvar.rs @@ -335,11 +335,6 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> { // Returns a list of `Ty`s for each upvar. fn final_upvar_tys(&self, closure_id: DefId) -> Vec<Ty<'tcx>> { - // Presently an unboxed closure type cannot "escape" out of a - // function, so we will only encounter ones that originated in the - // local crate or were inlined into it along with some function. - // This may change if abstract return types of some sort are - // implemented. self.typeck_results .borrow() .closure_min_captures_flattened(closure_id) |