about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
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
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-5/+3
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-5/+3
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-41/+50
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-1/+6
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-34/+30
2023-06-25Rollup merge of #113036 - TaKO8Ki:fix-112094, r=compiler-errorsMatthias Krüger-1/+1
2023-06-26accept `ReStatic` for RPITITTakayuki Maeda-1/+1
2023-06-23Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e...bors-2/+2
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-2/+2
2023-06-22Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ...Oli Scherer-2/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-10/+10
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-2/+2
2023-06-17Move WF goal to clauseMichael Goulet-2/+3
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-10/+30
2023-06-13Rollup merge of #111885 - compiler-errors:rust-call-abi-sized, r=eholkMatthias Krüger-1/+7
2023-06-06Don't ICE on unsized rust-call abi callMichael Goulet-1/+7
2023-06-06remove `has_error_field` helper methodlcnr-3/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 08:22:54 +0000