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-js-std/parser-errors.js | |
parent | 99d36b137d4f20126239112fe03a43bc17117047 (diff) | |
parent | 9e84b00d447b5cb878a6b4e4001a94d4ea3531ca (diff) | |
download | rust-8701e8072276dff00b799f1efe2020947d2b0d98.tar.gz |
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-js-std/parser-errors.js')
0 files changed, 0 insertions, 0 deletions