summary refs log tree commit diff
path: root/src/librustc_middle/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2020-05-30Rollup merge of #72419 - RalfJung:read-discriminant, r=oli-obk,eddybYuki Okushi-1/+16
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-3/+3
2020-05-25fix discriminant_ty for non-enumsRalf Jung-4/+9
2020-05-25Add helper method for determining the type of a discriminantRalf Jung-0/+10
2020-05-23iterate List by valueBastian Kauschke-3/+3
2020-05-22Remove ReScopeMatthew Jasper-24/+8
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-0/+1
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-2/+2
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-1/+1
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-7/+0
2020-05-08Remove ast::{Ident, Name} reexports.Camille GILLOT-2/+2
2020-04-23Modify `as_local_hir_id` to return a bare `HirId`marmeladema-1/+1
2020-04-23Modify `as_local_hir_id` to accept a `LocalDefId` instead of a `DefId`marmeladema-1/+1
2020-04-23librustc_middle: return LocalDefId instead of DefId in local_def_idmarmeladema-2/+3
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-7/+11
2020-04-16ty: convert `ErrorHandled::Reported` to `ConstKind::Error`.Eduard-Mihai Burtescu-2/+7
2020-04-16ty: add `ty::ConstKind::Error` to replace `tcx.consts.err`.Eduard-Mihai Burtescu-0/+4
2020-04-14ty: erase lifetimes early in `ty::Const::eval`.Eduard-Mihai Burtescu-30/+28
2020-04-10Rollup merge of #70913 - eddyb:rc-arc-diagnostic-items, r=matthewjasperMazdak Farrokhzad-18/+0
2020-04-08replace `has_local_value` with `needs_infer`Bastian Kauschke-5/+4
2020-04-08Replace "rc"/"arc" lang items with Rc/Arc diagnostic items.Eduard-Mihai Burtescu-18/+0
2020-04-06ty: remove `{Existential,}Trait{Ref,Predicate}::input_types`.Eduard-Mihai Burtescu-16/+0
2020-04-06ty/walk: switch `walk_shallow` from `Ty` to `GenericArg`.Eduard-Mihai Burtescu-26/+0
2020-04-02Rollup merge of #70658 - davidtwco:issue-70285-still-further-specializable, r...Mazdak Farrokhzad-0/+3
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-2/+2
2020-04-02add `STILL_FURTHER_SPECIALIZABLE` flagDavid Wood-0/+3
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-1/+1
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-0/+2517