summary refs log tree commit diff
path: root/src/librustc_middle/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2020-05-30Rollup merge of #72419 - RalfJung:read-discriminant, r=oli-obk,eddybYuki Okushi-0/+5
2020-05-29Rollup merge of #72636 - marmeladema:resolver-outputs-def-id, r=petrochenkovDylan DPC-2/+2
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-11/+8
2020-05-27Store `LocalDefId` directly in `rustc_resolve::Resolver` where possiblemarmeladema-2/+2
2020-05-25fix discriminant_ty for non-enumsRalf Jung-0/+5
2020-05-24Rollup merge of #72402 - marmeladema:resolver-outputs-def-id, r=ecstatic-morseRalf Jung-8/+8
2020-05-23fix Predicate perf regressionBastian Kauschke-2/+5
2020-05-23take predicates by value instead of by referenceBastian Kauschke-9/+3
2020-05-21Use `DefId` in `ResolverOutputs::extern_crate_map` instead of `NodeId`marmeladema-2/+1
2020-05-21Use `DefId` in `ResolverOutputs::glob_map` instead of `NodeId`marmeladema-2/+2
2020-05-21Use `DefId` in `ResolverOutputs::maybe_unused_extern_crates` instead of `NodeId`marmeladema-2/+2
2020-05-21Use `LocalDefId` in `ResolverOutputs::maybe_unused_trait_imports` instead of ...marmeladema-2/+3
2020-05-21Use `HirId` in `ResolverOutputs::export_map` instead of `NodeId`marmeladema-1/+1
2020-05-21Use `HirId` in value of `ResolverOutputs::trait_map` instead of `NodeId`marmeladema-1/+1
2020-05-21Use `HirId` as key for `ResolverOutputs::trait_map` instead of `NodeId`marmeladema-2/+2
2020-05-20ptr eq for `Predicate`Bastian Kauschke-6/+15
2020-05-20change `Predicate::kind` to return a referenceBastian Kauschke-16/+17
2020-05-20intern `PredicateKind`Bastian Kauschke-3/+3
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-16/+37
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-9/+9
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-48/+50
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate o...Ben Lewis-2/+10
2020-05-16Rollup merge of #72060 - lcnr:move-list, r=estebankRalf Jung-145/+6
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-1/+1
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-1/+1
2020-05-11Fix clippy warningsMatthias Krüger-1/+1
2020-05-09move `ty::List` into a new submoduleBastian Kauschke-145/+6
2020-05-08Remove ast::{Ident, Name} reexports.Camille GILLOT-3/+3
2020-05-03Auto merge of #70825 - eddyb:enum-discr-correct-generics-parent, r=nikomatsakisbors-15/+8
2020-05-02ty: use `delay_span_bug` in `ty::AdtDef::eval_explicit_discr`.Eduard-Mihai Burtescu-15/+8
2020-05-02fix rustdoc warningsTshepang Lekhonkhobe-1/+1
2020-05-01Auto merge of #70674 - cjgillot:query-arena-all, r=matthewjasperbors-7/+7
2020-04-30Rollup merge of #71449 - ecstatic-morse:free-region-cleanup, r=Mark-SimulacrumDylan DPC-1/+0
2020-04-28Move a few queries to using an arena.Camille GILLOT-7/+7
2020-04-27Use `LocalDefId` in `typeck_tables_of` and `used_trait_imports` queriesmarmeladema-1/+1
2020-04-24Remove `Option` from the return type of `def_kind`.Eduard-Mihai Burtescu-1/+1
2020-04-23Modify `as_local_hir_id` to return a bare `HirId`marmeladema-5/+5
2020-04-23Modify `as_local_hir_id` to accept a `LocalDefId` instead of a `DefId`marmeladema-8/+10
2020-04-22Move `{Free,}RegionRelations` and `FreeRegionMap` out of `rustc_middle`Dylan MacKenzie-1/+0
2020-04-22Use `Body` everywhereDylan MacKenzie-4/+4
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-3/+1
2020-04-16mir/interpret: only use `ErrorHandled::Reported` for `ErrorReported`.Eduard-Mihai Burtescu-1/+2
2020-04-16ty: add `ty::ConstKind::Error` to replace `tcx.consts.err`.Eduard-Mihai Burtescu-2/+2
2020-04-15Do not ICE in the face of invalid enum discriminantEsteban Küber-1/+5
2020-04-14Rename AssocKind::Method to AssocKind::FnRustin-Liu-22/+12
2020-04-11Auto merge of #70161 - cjgillot:query-arena, r=nikomatsakisbors-19/+4
2020-04-10Auto merge of #70986 - marmeladema:issue70853/librustc_middle-local-def-id, r...bors-3/+3
2020-04-10librustc_middle: return LocalDefId instead of DefId in body_owner_def_idmarmeladema-3/+3
2020-04-10Rollup merge of #70913 - eddyb:rc-arc-diagnostic-items, r=matthewjasperMazdak Farrokhzad-22/+1
2020-04-08replace `has_local_value` with `needs_infer`Bastian Kauschke-10/+6