summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
2024-01-31Auto merge of #120346 - petrochenkov:ownodes, r=oli-obkbors-1/+1
2024-01-30hir: Remove `hir::Map::{owner,expect_owner}`Vadim Petrochenkov-1/+1
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+1
2024-01-30No need to pass region bound pairs to resolve_regions_with_wf_tysMichael Goulet-22/+14
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-1/+1
2024-01-22Tweak error counting.Nicholas Nethercote-1/+1
2024-01-21Auto merge of #120100 - oli-obk:astconv_lifetimes, r=BoxyUwUbors-1/+1
2024-01-18Don't forget that the lifetime on hir types is `'tcx`Oli Scherer-1/+1
2024-01-17Add -Zno-implied-bounds-compat option and use itJack Huey-5/+12
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-5/+52
2024-01-13Add check for ui_testing via promoting parameters from `ParseSess` to `Session`George-lewis-1/+1
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-13/+12
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-5/+7
2024-01-08Use chaining for `DiagnosticBuilder` construction and `emit`.Nicholas Nethercote-27/+26
2024-01-08Use chaining in `DiagnosticBuilder` construction.Nicholas Nethercote-4/+2
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-5/+5
2024-01-02Merge check_for_entry_fn fully into check_mod_type_wfOli Scherer-1/+5
2024-01-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-2/+6
2023-12-24Remove more `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-14/+15
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-5/+1
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-9/+4
2023-12-15Annotate some more bugsMichael Goulet-9/+0
2023-12-15Annotate some bugsMichael Goulet-16/+25
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-4/+4
2023-12-05Remove `#[rustc_host]`, use internal desugaringDeadbeef-1/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-7/+9
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-4/+4
2023-11-14finish `RegionKind` renamelcnr-6/+6
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-11-06check binders with bound vars for global bounds that don't holdRémy Rakic-1/+2
2023-10-30Poison check_well_formed if method receivers are invalid to prevent typeck fr...Oli Scherer-13/+22
2023-10-23Allow `ensure` queries to return `Result<(), ErrorGuaranteed>`Oli Scherer-4/+4
2023-10-20Avoid a `track_errors` by bubbling up most errors from `check_well_formed`Oli Scherer-106/+124
2023-10-16Fix outlives suggestion for GAT in RPITITMichael Goulet-33/+27
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-10-03Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwcoMatthias Krüger-10/+4
2023-09-29a small wf and clause cleanuplcnr-10/+4
2023-09-28make adt_const_params feature suggestion more consistent with others and only...asquared31415-32/+57
2023-09-26Don't store lazyness in DefKindMichael Goulet-7/+3
2023-09-22diagnostics: simpler 83556 handling by bailing outMichael Howell-8/+3
2023-09-21diagnostics: avoid mismatch between variance index and hir genericMichael Howell-3/+24
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-1/+1
2023-08-14Use `{Local}ModDefId` in many queriesNilstrieb-2/+2
2023-08-03Compute variances for lazy type aliasesLeón Orell Valerian Liehr-4/+22
2023-08-02Remove constness from `TraitPredicate`Deadbeef-10/+3
2023-08-02Rollup merge of #114301 - compiler-errors:dont-error-on-missing-region-outliv...Matthias Krüger-4/+5
2023-08-01Suppress unnecessary outlivesMichael Goulet-4/+5
2023-07-30Check lazy type aliases for well-formednessLeón Orell Valerian Liehr-2/+5
2023-07-29Take RPITITs inherit the assumed_wf_types of their parent fnMichael Goulet-88/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 04:43:35 +0000