about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils
AgeCommit message (Expand)AuthorLines
2023-06-17Simplify even more candidatesMichael Goulet-21/+19
2023-06-17Simplify some impl source candidatesMichael Goulet-4/+2
2023-06-02Separate AnonConst from ConstBlock in HIR.Camille GILLOT-0/+1
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-8/+8
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-5/+5
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-4/+5
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-5/+5
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-3/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-5/+5
2023-05-25Ensure Fluent messages are in alphabetical orderclubby789-34/+34
2023-05-20ensure !Unpin types do not get noaliasErik Desjardins-17/+19
2023-05-20improve code checking for drop_in_place lang itemErik Desjardins-4/+2
2023-05-20Apply `noalias`, `nonnull`, `dereferenceable`, and `align` attributes uncondi...Patrick Walton-17/+10
2023-05-20[rustc_ty_utils] Add the LLVM `noalias` parameter attribute to `drop_in_place...Patrick Walton-1/+35
2023-05-15Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillotMatthias Krüger-29/+33
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-29/+33
2023-05-15Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors-3/+1
2023-05-14Rename const error methods for consistencyMichael Goulet-3/+1
2023-05-12Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer-25/+172
2023-05-12add `query opaque_types_defined_by`lcnr-0/+82
2023-05-11Rollup merge of #106038 - aliemjay:opaque-implied, r=lcnrMichael Goulet-1/+12
2023-05-09add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_constKyle Matsuda-2/+2
2023-05-08Fix miscompilation when adding default method to `Future`Jonas Schievink-14/+11
2023-05-08Rollup merge of #111265 - spastorino:has_self-opaque_ty, r=compiler-errorsDylan DPC-1/+1
2023-05-06make (try_)subst_and_normalize_erasing_regions take EarlyBinderKyle Matsuda-2/+1
2023-05-07use implied bounds when checking opaque typesAli MJ Al-Nasrawy-1/+12
2023-05-06Rollup merge of #111279 - compiler-errors:core-item-resolve, r=cjgillotMatthias Krüger-13/+71
2023-05-06More robust debug assertions for `Instance::resolve` on built-in traits with ...Michael Goulet-13/+71
2023-05-05Factor out checks in layout check and add helper inherent_size.Luqman Aden-54/+41
2023-05-05Make generics_of has_self on RPITITs delegate to the opaqueSantiago Pastorino-1/+1
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-3/+2
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-2/+2
2023-04-27rename `needs_infer` to `has_infer`Boxy-2/+2
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-3/+2
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-22Auto merge of #106934 - DrMeepster:offset_of, r=WaffleLapkinbors-0/+2
2023-04-21offset_ofDrMeepster-0/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-76/+33
2023-04-20Feed type_of query instead of using WithOptconstParam.Camille GILLOT-6/+0
2023-04-19Auto merge of #110407 - Nilstrieb:fluent-macro, r=davidtwcobors-1/+2
2023-04-18Add `rustc_fluent_macro` to decouple fluent from `rustc_macros`Nilstrieb-1/+2
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-16fix clippy::toplevel_ref_arg and ::manual_mapMatthias Krüger-8/+5
2023-04-10Update ty_utils_never_to_any_not_supported diagnostic messageDaniPopes-1/+1
2023-04-10Fix typos in compilerDaniPopes-4/+4
2023-04-08Update compiler/rustc_ty_utils/src/layout.rs matthewjasper-1/+1
2023-04-08Move SIMD layout errors to `SessionDiagnostic`Matthew Jasper-20/+55
2023-04-07Move `FnPtrAddr` error to `SessionDiagnostic`Matthew Jasper-4/+14
2023-04-04Use `FieldIdx` in `FieldsShape`Scott McMurray-47/+41