diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2020-08-18 15:23:45 +0200 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2020-08-18 15:23:45 +0200 |
| commit | f0bae6726f3b68ec80cabcb3fa66e460b715eb0b (patch) | |
| tree | 9d9b4e2ae777308c87c06e0e693771dd4ba0eb52 | |
| parent | acad5744cc599be623006f7bd98fa0b13e72f830 (diff) | |
| download | rust-f0bae6726f3b68ec80cabcb3fa66e460b715eb0b.tar.gz rust-f0bae6726f3b68ec80cabcb3fa66e460b715eb0b.zip | |
Typo
| -rw-r--r-- | src/librustc_middle/query/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_middle/query/mod.rs b/src/librustc_middle/query/mod.rs index 15d267e4b1e..7a6e4a90683 100644 --- a/src/librustc_middle/query/mod.rs +++ b/src/librustc_middle/query/mod.rs @@ -281,7 +281,7 @@ rustc_queries! { cache_on_disk_if { key.is_local() } } - /// The `DefId` is the `DefId` of the containing MIR body. Promoteds to not have their own + /// The `DefId` is the `DefId` of the containing MIR body. Promoteds do not have their own /// `DefId`. This function returns all promoteds in the specified body. The body references /// promoteds by the `DefId` and the `mir::Promoted` index. This is necessary, because /// after inlining a body may refer to promoteds from other bodies. In that case you still |