summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2023-01-21Encode whether foreign opaques are TAITs or notMichael Goulet-1/+12
2023-01-19Correct detection of elided lifetimes in impl-trait.Camille GILLOT-2/+4
2023-01-19Revert "Make nested RPITIT inherit the parent opaque's generics." and adjust ...Michael Goulet-1/+15
2022-12-26Make fast-path for implied wf lint betterMichael Goulet-71/+92
2022-12-26Add IMPLIED_BOUNDS_ENTAILMENT lintMichael Goulet-5/+70
2022-12-08Rollup merge of #105255 - cjgillot:issue-105197, r=compiler-errorsMatthias Krüger-15/+1
2022-12-07Auto merge of #104799 - pcc:linkage-fn, r=tmiaskobors-2/+47
2022-12-06Rollup merge of #105254 - cjgillot:issue-105251, r=oli-obkMatthias Krüger-4/+38
2022-12-06Rollup merge of #105005 - estebank:where-clause-lts, r=compiler-errorsMatthias Krüger-11/+44
2022-12-05On E0195 point at where clause lifetime boundsEsteban Küber-11/+44
2022-12-05Support Option and similar enums as type of static variable with linkage attr...Peter Collingbourne-2/+21
2022-12-05Move linkage type check to HIR analysis and fix semantics issues.Peter Collingbourne-1/+27
2022-12-05normalize inherent associated types after substitutionLeón Orell Valerian Liehr-0/+1
2022-12-05Auto merge of #104920 - compiler-errors:avoid-infcx-build, r=jackh726bors-4/+1
2022-12-04Avoid InferCtxt::build in generic_arg_mismatch_errMichael Goulet-4/+1
2022-12-04Auto merge of #105261 - matthiaskrgr:rollup-9ghhc9c, r=matthiaskrgrbors-21/+25
2022-12-04Rollup merge of #105247 - cjgillot:issue-102682, r=compiler-errorsMatthias Krüger-17/+16
2022-12-04Rollup merge of #105224 - cjgillot:issue-104240, r=compiler-errorsMatthias Krüger-4/+9
2022-12-04Make nested RPITIT inherit the parent opaque's generics.Camille GILLOT-15/+1
2022-12-04Auto merge of #103293 - est31:untwist_and_drop_order, r=nagisabors-9/+38
2022-12-04Recurse into nested impl-trait when computing variance.Camille GILLOT-4/+38
2022-12-04Use parent function WfCheckingContext to check RPITIT.Camille GILLOT-17/+16
2022-12-04Also avoid creating a terminating scope in mixed chainsest31-13/+13
2022-12-04Improve commentsest31-6/+18
2022-12-03Remove drop order twist of && and || and make them associativeest31-4/+21
2022-12-03Properly substitute inherent associated types.Camille GILLOT-4/+9
2022-12-03Rollup merge of #105200 - cjgillot:issue-104562, r=compiler-errorsMatthias Krüger-19/+0
2022-12-03Rollup merge of #105193 - tmiasko:naked-nocoverage, r=wesleywiserMatthias Krüger-0/+5
2022-12-03Remove useless filter in unused extern crate check.Camille GILLOT-19/+0
2022-12-03Mark naked functions as never inline in codegen_fn_attrsTomasz Miąsko-0/+1
2022-12-03Disable coverage instrumentation for naked functionsTomasz Miąsko-0/+4
2022-12-02Rollup merge of #105163 - compiler-errors:afit-lt-arity, r=jackh726Matthias Krüger-21/+18
2022-12-02Check lifetime param count in collect_trait_impl_trait_tysMichael Goulet-21/+18
2022-12-01rustc_hir: Relax lifetime requirements on `Visitor::visit_path`Vadim Petrochenkov-1/+1
2022-11-30Auto merge of #104905 - compiler-errors:normalization-changes, r=spastorinobors-12/+17
2022-11-29Make inferred_outlives_crate return ClauseSantiago Pastorino-23/+15
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-12/+12
2022-11-28Simplify more FnCtxt normalizationMichael Goulet-1/+1
2022-11-28FnCtxt normalization stuffMichael Goulet-0/+5
2022-11-28Rename `NestedMetaItem::[Ll]iteral` as `NestedMetaItem::[Ll]it`.Nicholas Nethercote-1/+1
2022-11-28Rename `ast::Lit` as `ast::MetaItemLit`.Nicholas Nethercote-2/+4
2022-11-27Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillotMatthias Krüger-12/+13
2022-11-27Auto merge of #104048 - cjgillot:split-lifetime, r=compiler-errorsbors-74/+108
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-12/+13
2022-11-26Rollup merge of #104786 - WaffleLapkin:amp-mut-help, r=compiler-errorsGuillaume Gomez-2/+2
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-82/+122
2022-11-25Simplify a bunch of trait ref obligation creationsOli Scherer-1/+1
2022-11-24Use kw::Empty for elided lifetimes in path.Camille GILLOT-6/+8
2022-11-24Change how suggested lifetime args are computed.Camille GILLOT-20/+48
2022-11-24move things from rustc_target::abi to rustc_abihkalbasi-2/+1