Type Definition specializes
Other items inrustc_middle::ty::query::query_values
type specializes<'tcx> = bool;