about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-08-26Stop using a special inner body for the coroutine by-move body for async clos...Michael Goulet-1/+2
2024-08-22Auto merge of #129365 - matthiaskrgr:rollup-ebwx6ya, r=matthiaskrgrbors-1/+1
2024-08-21Point at explicit `'static` obligations on a traitEsteban Küber-1/+1
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-2/+1
2024-08-16Use FnSig instead of raw FnDecl for ForeignItemKind::FnMichael Goulet-2/+2
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-13/+11
2024-07-25Support ?Trait bounds in supertraits and dyn Trait under a feature gateBryanskiy-1/+1
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-21Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-...bors-16/+39
2024-07-19LTA: Diag: Detect bivariant ty params that are only used recursivelyLeón Orell Valerian Liehr-36/+37
2024-07-17Account for structs that have unused params in nested types in fieldsMichael Goulet-24/+93
2024-07-17Account for self ty aliasMichael Goulet-5/+10
2024-07-17Mention that type parameters are used recursivelyMichael Goulet-21/+62
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-18/+33
2024-07-17Forbid `!Sized` types and referencesBoxy-4/+12
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-12/+11
2024-07-07iter_identity is a better nameMichael Goulet-12/+11
2024-07-05Rework receiver_is_validMichael Goulet-50/+42
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-9/+2
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet-1/+9
2024-06-28implement new effects desugaringDeadbeef-1/+6
2024-06-19Remove a hack that isn't needed anymoreOli Scherer-10/+1
2024-06-04Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obkbors-1/+1
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-4/+4
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-15/+3
2024-05-24Remove `DefId` from `EarlyParamRegion` (type system)Boxy-9/+7
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-1/+1
2024-05-17to_opt_poly_X_pred -> as_X_clauseMichael Goulet-2/+2
2024-05-16Rename ToPredicate for UpcastMichael Goulet-4/+4
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-1/+1
2024-05-10Name tweaksMichael Goulet-1/+1
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-2/+2
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-6/+18
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-3/+3
2024-04-30Replace item names containing an error code with something more meaningfulLeón Orell Valerian Liehr-14/+4
2024-04-09Clarifying commentMichael Goulet-3/+9
2024-04-09Split back out unused_lifetimes -> redundant_lifetimesMichael Goulet-2/+2
2024-04-09Lint redundant lifetimes in impl headerMichael Goulet-5/+6
2024-04-09Move check to wfcheckMichael Goulet-0/+128
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+1
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 06:28:52 +0000