diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-02-13 11:34:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-13 11:34:59 +0100 |
| commit | 8701e8072276dff00b799f1efe2020947d2b0d98 (patch) | |
| tree | 874ec703f68d311e09a07198a1417593163f15fd /tests/rustdoc/intra-doc/basic.rs | |
| parent | 99d36b137d4f20126239112fe03a43bc17117047 (diff) | |
| parent | 9e84b00d447b5cb878a6b4e4001a94d4ea3531ca (diff) | |
| download | rust-8701e8072276dff00b799f1efe2020947d2b0d98.tar.gz rust-8701e8072276dff00b799f1efe2020947d2b0d98.zip | |
Rollup merge of #107986 - lcnr:layout-placeholder, r=petrochenkov
layout: deal with placeholders, ICE on bound types A placeholder type is the same as a param as they represent "this could be any type". A bound type represents a type inside of a `for<T>` or `exists<T>`. When entering a forall or exists `T` should be instantiated as a existential (inference var) or universal (placeholder). You should never observe a bound variable without its binder.
Diffstat (limited to 'tests/rustdoc/intra-doc/basic.rs')
0 files changed, 0 insertions, 0 deletions