diff options
| author | bors <bors@rust-lang.org> | 2022-12-13 13:09:40 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-12-13 13:09:40 +0000 |
| commit | ed620cf9690fdafed65845bf35c455db992fbba1 (patch) | |
| tree | 2207ed09adb1647b55a716a4e02e37f140560ac9 /compiler/rustc_infer/src | |
| parent | 109cccbe4f345c0f0785ce860788580c3e2a29f5 (diff) | |
| parent | 30754517d1e979bd4100207f1cc7202ed25d9ff5 (diff) | |
| download | rust-ed620cf9690fdafed65845bf35c455db992fbba1.tar.gz rust-ed620cf9690fdafed65845bf35c455db992fbba1.zip | |
Auto merge of #105612 - oli-obk:bind_rustdoc, r=GuillaumeGomez
use ty::Binder in rustdoc instead of `skip_binder` r? `@GuillaumeGomez` this is a preliminary cleanup required to be able to normalize correctly/conveniently in rustdoc
Diffstat (limited to 'compiler/rustc_infer/src')
0 files changed, 0 insertions, 0 deletions