about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/dropck.rs
AgeCommit message (Expand)AuthorLines
2025-01-31Remove an out-of-date `FIXME` comment.Nicholas Nethercote-5/+4
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-2/+1
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+3
2024-07-02Rewrite dropckBoxy-9/+25
2024-06-20Add blank lines after module-level `//` comments.Nicholas Nethercote-0/+1
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-1/+2
2024-02-12Dejargnonize substShoyu Vanilla-2/+2
2024-01-30Apply suggestions from reviewMichael Goulet-1/+1
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+2
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-1/+1
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-2/+2
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-5/+9
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-2/+2
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-6/+6
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-14finish `RegionKind` renamelcnr-2/+1
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-3/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-10/+10
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-2/+3
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-1/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-12Invert `IgnoreRegions` to `CheckRegions`Oli Scherer-2/+2
2023-05-04Use fulfillment to check Drop impl compatibilityMichael Goulet-233/+91
2023-05-04Rollup merge of #110859 - compiler-errors:no-negative-drop-impls, r=oli-obkMatthias Krüger-1/+16
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-4/+4
2023-04-27Explicitly reject negative and reservation drop implsMichael Goulet-1/+16
2023-04-04Remove intercrate and mark_ambiguous from RelationMichael Goulet-8/+0
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-2/+2
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-3/+4
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-8/+16
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+4
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-0/+4
2022-10-22Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obkbors-1/+1
2022-10-21Require Drop impls to have the same constness on its bounds as the bounds on ...Oli Scherer-7/+1
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-1/+1
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+329