]> git.lizzy.rs Git - rust.git/commit - compiler/rustc_borrowck/src/session_diagnostics.rs
Rollup merge of #106953 - kylematsuda:early-binder-docs, r=jackh726
authorMatthias Krüger <matthias.krueger@famsik.de>
Tue, 17 Jan 2023 04:25:23 +0000 (05:25 +0100)
committerGitHub <noreply@github.com>
Tue, 17 Jan 2023 04:25:23 +0000 (05:25 +0100)
commit5162e39bffdb244de1bbbd06eeffa4a095df0ecc
tree0fb793de1230a42df7756e87ed706df08e08203e
parent9bcc46ee90999097a2baf67023fd8074a4d2efe1
parent1ae1c49c501f8c6baf662e0a8081280bb7a9e79c
Rollup merge of #106953 - kylematsuda:early-binder-docs, r=jackh726

Document `EarlyBinder::subst_identity` and `skip_binder`

Finishing implementing #105779 will change several commonly used queries to return `EarlyBinder` by default. This PR adds documentation for two of the methods used to access data inside the `EarlyBinder`. I tried to summarize some of the [discussion from the issue](https://github.com/rust-lang/rust/issues/105779#issuecomment-1375512647) in writing this.

r? `@lcnr`
compiler/rustc_middle/src/ty/subst.rs