about summary refs log tree commit diff
path: root/compiler/rustc_ast_lowering/src
AgeCommit message (Expand)AuthorLines
2024-02-06Auto merge of #120361 - compiler-errors:async-closures, r=oli-obkbors-36/+25
2024-02-06More comments, final tweaksMichael Goulet-0/+3
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+8
2024-02-06Make async closures directly lower to ClosureKind::CoroutineClosureMichael Goulet-32/+9
2024-02-06Make sure that async closures (and fns) only capture their parent callable's ...Michael Goulet-4/+5
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+0
2024-02-06Auto merge of #120392 - compiler-errors:async-bound-modifier, r=davidtwco,fmeasebors-21/+128
2024-02-03hir: Remove the generic type parameter from `MaybeOwned`Vadim Petrochenkov-7/+4
2024-02-03hir: Stop keeping prefixes for most of `use` list stemsVadim Petrochenkov-9/+23
2024-01-31Error on incorrect item kind in async boundMichael Goulet-9/+35
2024-01-31Add async bound modifier to enable async Fn boundsMichael Goulet-20/+101
2024-01-29Rollup merge of #120428 - petrochenkov:somehir2, r=compiler-errorsDylan DPC-2/+4
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-10/+10
2024-01-28hir: Use `InferArg` in `ArrayLen::Infer`Vadim Petrochenkov-1/+4
2024-01-28hir: Remove unnecessary `HirId` from `hir::Let`Vadim Petrochenkov-1/+0
2024-01-25Remove unused featuresclubby789-2/+0
2024-01-19Pack the u128 in LitKind::IntJosh Stone-2/+8
2024-01-19Auto merge of #120006 - cjgillot:no-hir-owner, r=wesleywiserbors-3/+3
2024-01-18Rollup merge of #119978 - compiler-errors:async-closure-captures, r=oli-obkMatthias Krüger-202/+215
2024-01-17Add `PatKind::Err`Lieselotte-0/+1
2024-01-16Simplify BodyId hashing.Camille GILLOT-3/+3
2024-01-16Async closures will move params into the future alwaysMichael Goulet-43/+33
2024-01-16Introduce helper that deals with moving async args into the coroutineMichael Goulet-170/+193
2024-01-13Add check for ui_testing via promoting parameters from `ParseSess` to `Session`George-lewis-13/+8
2024-01-12Delegation implementation: step 1Bryanskiy-4/+386
2024-01-09Add error code for missing base expression in struct update syntaxclubby789-2/+2
2024-01-08Rollup merge of #119705 - fmease:tilde-const-assoc-fns-trait-impls, r=compile...Matthias Krüger-13/+16
2024-01-07Split note, fix const/static impl trait errorMichael Goulet-5/+10
2024-01-07effects: support ~const in assoc fns in trait implsLeón Orell Valerian Liehr-13/+16
2024-01-07Inline some helpers no longer needed due to RPITIT being stableMichael Goulet-47/+29
2024-01-07Make ImplTraitPosition display more descriptiveMichael Goulet-9/+9
2024-01-05Remove `hir::Guard`Matthew Jasper-14/+1
2024-01-04Rollup merge of #119540 - fmease:no-effect-args-inside-dyn-trait, r=compiler-...Matthias Krüger-13/+15
2024-01-03Rollup merge of #119505 - fmease:no-host-param-for-trait-fns, r=fee1-deadLeón Orell Valerian Liehr-4/+6
2024-01-03Rollup merge of #119494 - fmease:deny-hr-param-defaults, r=compiler-errorsLeón Orell Valerian Liehr-32/+42
2024-01-03Don't synthesize host effect args inside trait object typesLeón Orell Valerian Liehr-13/+15
2024-01-02Don't synthesize host effect params for trait assoc fns marked constLeón Orell Valerian Liehr-4/+6
2024-01-01Deny defaults for higher-ranked generic parametersLeón Orell Valerian Liehr-32/+42
2023-12-30Auto merge of #119284 - Nadrieril:fix-bodiless-arm-parse, r=cjgillotbors-3/+1
2023-12-28Merge Coroutine lowering functionsArpad Borsos-224/+81
2023-12-27Auto merge of #119099 - fmease:always-const-trait-bounds, r=fee1-deadbors-40/+57
2023-12-27Introduce `const Trait` (always-const trait bounds)León Orell Valerian Liehr-40/+57
2023-12-26Auto merge of #119324 - compiler-errors:rollup-c6eqcg9, r=compiler-errorsbors-7/+9
2023-12-26Rollup merge of #119240 - compiler-errors:lang-item-more, r=petrochenkovMichael Goulet-7/+9
2023-12-26Don't drop a hir node after loweringNadrieril-3/+1
2023-12-26fallback `default` to `None` during ast-loweing for lifetime binderbohan-2/+30
2023-12-26Auto merge of #119258 - compiler-errors:closure-kind, r=eholkbors-32/+39
2023-12-26Make some non-diagnostic-affecting QPath::LangItem into regular qpathsMichael Goulet-7/+9
2023-12-25Only regular coroutines have movabilityMichael Goulet-8/+20
2023-12-25Make closures carry their own ClosureKind, rather than deducing what it is fr...Michael Goulet-28/+23