Type Definition PlaceholderType
Other items inrustc_middle::ty
type PlaceholderType = Placeholder<BoundVar>;