diff options
author | lcnr <rust@lcnr.de> | 2023-02-13 10:45:43 +0100 |
---|---|---|
committer | lcnr <rust@lcnr.de> | 2023-02-13 10:47:12 +0100 |
commit | 9e84b00d447b5cb878a6b4e4001a94d4ea3531ca (patch) | |
tree | 9fca327ee7bff7029960f408f58e958200d58bb8 /tests/rustdoc-js-std/parser-errors.js | |
parent | 96834f0231277e8feb8dcf185b2af082ad2e39f6 (diff) | |
download | rust-9e84b00d447b5cb878a6b4e4001a94d4ea3531ca.tar.gz |
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