about summary refs log tree commit diff
path: root/compiler/rustc_lint/src/opaque_hidden_inferred_bound.rs
AgeCommit message (Expand)AuthorLines
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-3/+3
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-3/+5
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-3/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-09-16Don't ICE in opaque_hidden_inferred_bound lint for RPITIT in trait with no de...Michael Goulet-0/+12
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+4
2024-07-11Remove fully_normalizeMichael Goulet-13/+14
2024-07-07iter_identity is a better nameMichael Goulet-3/+1
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-1/+1
2024-06-12Add a `fn main() {}` to a doctest to prevent the test from being wrapped in a...Oli Scherer-0/+2
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-1/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-4/+7
2024-05-11Uplift `TraitPredicate`Michael Goulet-3/+2
2024-04-29Remove `extern crate rustc_session` from `rustc_lint`.Nicholas Nethercote-0/+1
2024-04-03update messagesDan-1/+1
2024-02-08introduce `enter_forall`Boxy-89/+92
2024-01-25Don't fire OPAQUE_HIDDEN_INFERRED_BOUND on sized return of AFITMichael Goulet-1/+12
2024-01-23Rename `LintContext::emit_spanned_lint` as `LintContext::emit_span_lint`.Nicholas Nethercote-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-10-03non_lifetime_binders: fix ICE in lint opaque-hidden-inferred-boundLeón Orell Valerian Liehr-7/+3
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-4/+6
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-2/+9
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-2/+3
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-2/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-2/+2
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-3/+1
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-2/+2
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-1/+3
2023-03-23Nested impl traits trigger opaque_hidden_inferred_bound too muchMichael Goulet-3/+18
2023-02-22errors: generate typed identifiers in each crateDavid Wood-1/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-2/+2
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-7/+8
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-0/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-0/+1
2022-11-15Merge branch 'master' into patch-2Kagami Sascha Rosylight-2/+3
2022-11-01Rollup merge of #103575 - Xiretza:suggestions-style-attr, r=davidtwcoManish Goregaokar-1/+2
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-1/+1
2022-10-26Convert all #[suggestion_*] attributes to #[suggestion(style = "...")]Xiretza-1/+2
2022-10-25Fix failing examplesKagami Sascha Rosylight-5/+9
2022-10-23Auto merge of #103345 - Nilstrieb:diag-flat, r=compiler-errorsbors-3/+3
2022-10-23Migrate all diagnosticsNilstrieb-3/+3
2022-10-22Introduce subst_iter and subst_iter_copied on EarlyBinderMichael Goulet-7/+5
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-74/+70
2022-10-05Use proper subdiagnosticMichael Goulet-15/+9
2022-10-05Fix opaque_hidden_inferred_bound lint ICEMichael Goulet-18/+37