about summary refs log tree commit diff
path: root/src/librustc_middle/ty/util.rs
AgeCommit message (Collapse)AuthorLines
2020-08-30mv compiler to compiler/mark-1168/+0
2020-08-17rust_ast::ast => rustc_astUjjwal Sharma-1/+1
2020-08-14Rollup merge of #75448 - lcnr:rn-as_local_hir_id, r=davidtwcoTyler Mandry-1/+1
merge `as_local_hir_id` with `local_def_id_to_hir_id` `as_local_hir_id` was defined as just calling `local_def_id_to_hir_id` and I think that having two different ways to call the same method is somewhat confusing. Don't really care about which of these 2 methods we want to keep. Does this require an MCP, considering that these methods are fairly frequently used?
2020-08-14Rework `rustc_serialize`Matthew Jasper-1/+1
- Move the type parameter from `encode` and `decode` methods to the trait. - Remove `UseSpecialized(En|De)codable` traits. - Remove blanket impls for references. - Add `RefDecodable` trait to allow deserializing to arena-allocated references safely. - Remove ability to (de)serialize HIR. - Create proc-macros `(Ty)?(En|De)codable` to help implement these new traits.
2020-08-13merge `as_local_hir_id` with `local_def_id_to_hir_id`Bastian Kauschke-1/+1
2020-08-02fix typosliuzhenyu-1/+1
2020-07-22Fix rebase falloutAaron Hill-1/+1
2020-07-22Normalize opaque types when converting `ParamEnv` to `Reveal::All`Aaron Hill-66/+90
Fixes #65918
2020-07-17Rename TypeckTables to TypeckResults.Valentin Lazureanu-2/+2
2020-06-21Make is_freeze and is_copy_modulo_regions take TyCtxtAtRalf Jung-10/+4
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-4/+4
2020-06-15Rollup merge of #72879 - RalfJung:miri-tctx-at, r=oli-obkRalf Jung-0/+1
Miri: avoid tracking current location three times Miri tracks the current instruction to execute in the call stack, but it also additionally has two `TyCtxtAt` that carry a `Span` that also tracks the current instruction. That is quite silly, so this PR uses `TyCtxt` instead, and then uses a method for computing the current span when a `TyCtxtAt` is needed. Having less redundant (semi-)global state seems like a good improvement to me. :D To keep the ConstProp errors the same, I had to add the option to `error_to_const_error` to overwrite the span. Also for some reason this changes cycle errors a bit -- not sure if we are now better or worse as giving those queries the right span. (It is unfortunately quite easy to accidentally use `DUMMY_SP` by calling the query on a `TyCtxt` instead of a `TyCtxtAt`.) r? @oli-obk @eddyb
2020-06-15Rollup merge of #72740 - estebank:recursive-indirection, r=matthewjasperRalf Jung-1/+9
On recursive ADT, provide indirection structured suggestion
2020-06-12Use "reflexive equality" in docsDylan MacKenzie-2/+2
2020-06-12Helper method for whether type has structural equalityDylan MacKenzie-0/+51
This helper method works for all types, falling back to a query for `TyKind::Adt`s to determine whether the implement the `{Partial,}StructuralEq` traits.
2020-06-12make miri InterpCx TyCtxtAt a TyCtxt, and separately remember the root span ↵Ralf Jung-0/+1
of the evaluation
2020-06-10On recursive ADT, provide indirection structured suggestionEsteban Küber-1/+9
2020-05-23iterate List by valueBastian Kauschke-2/+2
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-3/+1
2020-04-30Add a convenience function for testing whether a static is `#[thread_local]`Oliver Scherer-0/+6
2020-04-24Remove `Option` from the return type of `def_kind`.Eduard-Mihai Burtescu-5/+4
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-4/+2
2020-04-17Make `needs_drop` less pessimistic on generatorsJonas Schievink-5/+3
2020-04-02use direct import for ErrorReportedMazdak Farrokhzad-1/+1
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-2/+2
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-0/+1091