about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/misc.rs
AgeCommit message (Expand)AuthorLines
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-1/+1
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-21/+2
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-1/+1
2024-12-07Make `Copy` unsafe to implement for ADTs with `unsafe` fieldsJack Wrenn-0/+10
2024-10-29TypingMode :thinking:lcnr-3/+3
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+2
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-33/+23
2024-07-17Forbid `!Sized` types and referencesBoxy-22/+95
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-06-03Make TraitEngines generic over errorMichael Goulet-2/+2
2024-05-24Use regular type equating instead of a custom queryOli Scherer-20/+1
2024-05-09always use `GenericArgsRef`lcnr-2/+2
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+1
2024-01-17Add -Zno-implied-bounds-compat option and use itJack Huey-1/+1
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-2/+2
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-13global param_env canonicalization cacheAli MJ Al-Nasrawy-4/+4
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-10/+10
2023-06-01Impl ConstParamTy for tuples, make PartialStructuralEq a supertrait tooMichael Goulet-1/+2
2023-04-27Impl `StructuralEq` & `ConstParamTy` for `str`, `&T`, `[T; N]` and `[T]`Maybe Waffle-1/+8
2023-04-27Check the correct trait when checking `ConstParamTy` implsMaybe Waffle-1/+1
2023-04-27Add a `ConstParamTy` traitMaybe Waffle-15/+79
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-12region error cleanuplcnr-4/+0
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-1/+0
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-0/+1
2023-03-15Auto merge of #107376 - aliemjay:remove-givens, r=lcnrbors-1/+0
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-1/+0
2023-03-08Suppress copy impl error when post-normalized type references errorsMichael Goulet-1/+6
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-12rename query and use `NoSolution`Boxy-3/+4
2023-02-11make `relate`'s const ty assertion use semantic equalityBoxy-2/+20
2023-01-13Delay normalization bugs instead of reporting themMichael Goulet-8/+4
2023-01-13Suggest lifetime bound in illegal Copy implMichael Goulet-14/+30
2023-01-13copy self type is implied wfMichael Goulet-1/+14
2023-01-13Check ADT fields for copy implementations considering regionsMichael Goulet-14/+36
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-1/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-55/+54
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-1/+1
2022-08-04Remove FulfillmentContext param from fully_normalizeMichael Goulet-2/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-03Tighten spans for bad fields in Copy structMichael Goulet-2/+2
2022-03-22better errors when a Copy impl is not coherentMichael Goulet-2/+2
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-2/+2
2022-02-24restore spans for issue-50480Michael Goulet-1/+14
2022-02-24better ObligationCause for normalization errors in can_type_implement_copyMichael Goulet-2/+2
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-1/+1