summaryrefslogtreecommitdiff
path: root/compiler/rustc_ty_utils
Commit message (Expand)AuthorAgeFilesLines
* Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillotMatthias Krüger2023-05-1513-29/+33
|\
| * Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker2023-05-1513-29/+33
* | Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors2023-05-151-3/+1
|\ \ | |/ |/|
| * Rename const error methods for consistencyMichael Goulet2023-05-141-3/+1
* | Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer2023-05-123-25/+172
* | add `query opaque_types_defined_by`lcnr2023-05-122-0/+82
|/
* Rollup merge of #106038 - aliemjay:opaque-implied, r=lcnrMichael Goulet2023-05-111-1/+12
|\
| * use implied bounds when checking opaque typesAli MJ Al-Nasrawy2023-05-071-1/+12
* | add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_constKyle Matsuda2023-05-091-2/+2
* | Fix miscompilation when adding default method to `Future`Jonas Schievink2023-05-081-14/+11
* | Rollup merge of #111265 - spastorino:has_self-opaque_ty, r=compiler-errorsDylan DPC2023-05-081-1/+1
|\ \
| * | Make generics_of has_self on RPITITs delegate to the opaqueSantiago Pastorino2023-05-051-1/+1
| |/
* | make (try_)subst_and_normalize_erasing_regions take EarlyBinderKyle Matsuda2023-05-061-2/+1
* | Rollup merge of #111279 - compiler-errors:core-item-resolve, r=cjgillotMatthias Krüger2023-05-061-13/+71
|\ \
| * | More robust debug assertions for `Instance::resolve` on built-in traits with ...Michael Goulet2023-05-061-13/+71
* | | Factor out checks in layout check and add helper inherent_size.Luqman Aden2023-05-052-54/+41
| |/ |/|
* | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors2023-05-041-3/+2
|\ \ | |/ |/|
| * Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle2023-04-261-3/+2
| * Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle2023-04-251-1/+1
* | Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote2023-05-032-2/+2
* | rename `needs_infer` to `has_infer`Boxy2023-04-271-2/+2
|/
* Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle2023-04-241-1/+1
* Auto merge of #106934 - DrMeepster:offset_of, r=WaffleLapkinbors2023-04-221-0/+2
|\
| * offset_ofDrMeepster2023-04-211-0/+2
* | Remove WithOptconstParam.Camille GILLOT2023-04-202-76/+33
* | Feed type_of query instead of using WithOptconstParam.Camille GILLOT2023-04-201-6/+0
|/
* Auto merge of #110407 - Nilstrieb:fluent-macro, r=davidtwcobors2023-04-192-1/+2
|\
| * Add `rustc_fluent_macro` to decouple fluent from `rustc_macros`Nilstrieb2023-04-182-1/+2
* | Spelling - compilerJosh Soref2023-04-172-2/+2
|/
* fix clippy::toplevel_ref_arg and ::manual_mapMatthias Krüger2023-04-162-8/+5
* Update ty_utils_never_to_any_not_supported diagnostic messageDaniPopes2023-04-101-1/+1
* Fix typos in compilerDaniPopes2023-04-103-4/+4
* Update compiler/rustc_ty_utils/src/layout.rs matthewjasper2023-04-081-1/+1
* Move SIMD layout errors to `SessionDiagnostic`Matthew Jasper2023-04-084-20/+55
* Move `FnPtrAddr` error to `SessionDiagnostic`Matthew Jasper2023-04-073-4/+14
* Use `FieldIdx` in `FieldsShape`Scott McMurray2023-04-042-47/+41
* Auto merge of #109762 - scottmcm:variantdef-indexvec, r=WaffleLapkinbors2023-03-312-4/+5
|\
| * Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray2023-03-302-4/+5
* | Auto merge of #109499 - spastorino:new-rpitit-19, r=compiler-errorsbors2023-03-301-16/+19
|\ \ | |/ |/|
| * Walk return-position impl trait in trait deeply in associated_item_def_idsMichael Goulet2023-03-291-16/+19
* | Support TLS access into dylibs on WindowsJohn Kåre Alsaker2023-03-291-1/+11
|/
* Add a builtin `FnPtr` traitlcnr2023-03-271-1/+18
* Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray2023-03-252-7/+7
* Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgrbors2023-03-231-1/+1
|\
| * Rollup merge of #109378 - MU001999:master, r=scottmcmMatthias Krüger2023-03-221-1/+1
| |\
| | * Remove Ty::is_region_ptrMu422023-03-201-1/+1
* | | Auto merge of #109497 - matthiaskrgr:rollup-6txuxm0, r=matthiaskrgrbors2023-03-222-5/+3
|\ \ \ | |/ / |/| |
| * | Do not feed param_env for RPITITs impl sideSantiago Pastorino2023-03-222-5/+3
* | | Rollup merge of #109405 - compiler-errors:rpitit-as-opaques, r=spastorinoDylan DPC2023-03-231-11/+13
|\ \ \ | |/ / |/| |
| * | RPITITs are DefKind::Opaque with new lowering strategyMichael Goulet2023-03-211-11/+13