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 /compiler/rustc_codegen_llvm/src | |
| parent | 96834f0231277e8feb8dcf185b2af082ad2e39f6 (diff) | |
| download | rust-9e84b00d447b5cb878a6b4e4001a94d4ea3531ca.tar.gz rust-9e84b00d447b5cb878a6b4e4001a94d4ea3531ca.zip | |
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 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions