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. |
||
|---|---|---|
| .. | ||
| abi.rs | ||
| assoc.rs | ||
| common_traits.rs | ||
| consts.rs | ||
| errors.rs | ||
| implied_bounds.rs | ||
| instance.rs | ||
| layout.rs | ||
| layout_sanity_check.rs | ||
| lib.rs | ||
| needs_drop.rs | ||
| representability.rs | ||
| structural_match.rs | ||
| ty.rs | ||