summary refs log tree commit diff
path: root/src/librustc_middle/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2020-06-30change `skip_binder` to use T by valueBastian Kauschke-10/+6
2020-06-24Improve GeneratorLayout debug outputTyler Mandry-1/+0
2020-06-24Allow calling GeneratorSubsts::variant_name() without substsTyler Mandry-1/+1
2020-06-20Don't set STILL_FURTHER_SPECIALIZABLE for regions/bound variablesMatthew Jasper-3/+0
2020-06-19pretty/mir: const value enums with no variantsDavid Wood-0/+3
2020-06-16format derivesWho? Me?!-13/+2
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-9/+24
2020-06-15Rollup merge of #72707 - matthewjasper:rustc_min_spec, r=oli-obkRalf Jung-2/+0
2020-06-10Use min_specialization in the remaining rustc cratesMatthew Jasper-2/+0
2020-06-09lint: transitive FFI-safety for transparent typesDavid Wood-0/+5
2020-06-07Rollup merge of #73059 - lcnr:outdated-comment, r=matthewjasperDylan DPC-4/+0
2020-06-06remove outdated commentBastian Kauschke-4/+0
2020-06-01`PolyTraitRef::self_ty` returns `Binder<Ty>`Dylan MacKenzie-2/+2
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