about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2023-02-10emit `AliasEq` when relating type and const aliasesBoxy-5/+1
2023-02-09Update implied_outlives_bounds to properly register implied bounds behind nor...Jack Huey-5/+10
2023-02-09Cleanup free_region_relations a bitJack Huey-69/+86
2023-02-08Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnrMatthias Krüger-2/+2
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-2/+2
2023-02-07Auto merge of #107768 - matthiaskrgr:rollup-9u4cal4, r=matthiaskrgrbors-10/+2
2023-02-07remove binder from query constraintslcnr-10/+2
2023-02-06Modify existing bounds if they existEdward Shen-0/+1
2023-02-04Rollup merge of #107646 - estebank:specific-span, r=compiler-errorsMatthias Krüger-6/+57
2023-02-04Auto merge of #107267 - cjgillot:keep-aggregate, r=oli-obkbors-2/+6
2023-02-03review commentsEsteban Küber-14/+17
2023-02-03Provide structured suggestion for binding needing type on E0594Esteban Küber-6/+54
2023-02-03Rollup merge of #106575 - estebank:issue-64008, r=pnkfelixMatthias Krüger-16/+12
2023-02-02Put a DefId in AggregateKind.Camille GILLOT-2/+6
2023-02-02Suggest `move` in nested closure when appropriateEsteban Küber-16/+12
2023-02-02Rollup merge of #107532 - compiler-errors:erase-regions-in-uninhabited, r=jac...Matthias Krüger-1/+4
2023-02-01Erase regions before uninhabited checkMichael Goulet-1/+4
2023-01-31Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obkGuillaume Gomez-2/+2
2023-01-31Auto merge of #100754 - davidtwco:translation-incremental, r=compiler-errorsbors-13/+9
2023-01-30Auto merge of #107197 - aliemjay:patch-2, r=jackh726bors-3/+2
2023-01-30session: diagnostic migration lint on more fnsDavid Wood-0/+2
2023-01-30errors: implement `IntoDiagnosticArg` for `&T`David Wood-13/+7
2023-01-30Use `Mutability::{is_mut, is_not}`Maybe Waffle-2/+2
2023-01-29Auto merge of #107435 - matthiaskrgr:rollup-if5h6yu, r=matthiaskrgrbors-0/+4
2023-01-29Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obkbors-2/+6
2023-01-28Also erase substs for new infcx in pin move errorNilstrieb-0/+4
2023-01-26add method_substs to CallKindKyle Matsuda-4/+2
2023-01-26fix up subst_identity vs skip_binder; add some FIXMEs as identified in reviewKyle Matsuda-1/+3
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-4/+4
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-4/+4
2023-01-26Rollup merge of #106971 - oli-obk:tait_error, r=davidtwcoMatthias Krüger-12/+0
2023-01-25Rollup merge of #106897 - estebank:issue-99430, r=davidtwcoMatthias Krüger-5/+38
2023-01-25Rollup merge of #105345 - yanchen4791:issue-103582-fix, r=jackh726Matthias Krüger-19/+40
2023-01-23During MirBorrowck, ignore ConstEvalCounterBryan Garza-3/+3
2023-01-23Revert "Move CtfeLimit to mir_const's set of passes"Bryan Garza-2/+2
2023-01-23Move CtfeLimit to mir_const's set of passesBryan Garza-2/+2
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-2/+6
2023-01-23Add hint for missing lifetime bound on trait object when type alias is usedyanchen4791-19/+40
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-7/+5
2023-01-22assume MIR types are fully normalizedAli MJ Al-Nasrawy-3/+2
2023-01-22Update universal_regions.rsSamuel Moelius-1/+1
2023-01-21Auto merge of #106976 - tmiasko:borrowck-lazy-dominators, r=cjgillotbors-8/+12
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-2/+2
2023-01-18Auto merge of #106503 - cjgillot:remap-nofilter, r=oli-obkbors-1/+1
2023-01-18Rollup merge of #106747 - yanchen4791:issue-105507-fix, r=estebankMatthias Krüger-4/+121
2023-01-17Lazy dominator tree construction in borrowckTomasz Miąsko-8/+12
2023-01-17Add 'static lifetime suggestion when GAT implied 'static requirement from HRTByanchen4791-4/+121
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-14/+14
2023-01-17Handle diagnostics customization on the fluent sideOli Scherer-12/+0
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-14/+14