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