about summary refs log tree commit diff
path: root/compiler
AgeCommit message (Expand)AuthorLines
2024-04-08Ensure the canonical_param_env_cache does not contain inconsistent informatio...Oli Scherer-7/+16
2024-04-08Add a FIXME for something that requires touching too much code for this PROli Scherer-0/+1
2024-04-08Avoid fetching the opaque type origin when only "is this in the defining scop...Oli Scherer-27/+16
2024-04-08Shrink the size of ClosureTypeInfo to fit into 64 bytes againOli Scherer-9/+25
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-140/+109
2024-04-08Scrape extraneous regions from instantiate_nll_query_response_and_region_obli...Oli Scherer-43/+60
2024-04-08Adjust a comment to the new status quoOli Scherer-6/+3
2024-04-08Eagerly check for accidentally registered region constraints instead of waiti...Oli Scherer-0/+6
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-48/+72
2024-04-08Make `Canonical` trait impls more robustOli Scherer-11/+14
2024-04-08parser: reduce visibility of unnecessary public `UnmatchedDelim`Yutaro Ohno-5/+2
2024-04-08Ensure we do not accidentally insert new early aborts in the analysis passesOli Scherer-22/+20
2024-04-08Rollup merge of #123625 - oli-obk:private_fnctxt, r=fee1-deadMatthias Krüger-20/+54
2024-04-08Rollup merge of #122807 - danielhuang:fix-1, r=davidtwcoMatthias Krüger-3/+3
2024-04-08Rollup merge of #120144 - petrochenkov:unty, r=davidtwcoMatthias Krüger-6/+10
2024-04-08Actually create ranged int types in the type system.Oli Scherer-45/+551
2024-04-08Start handling pattern types at the HIR -> Ty conversion boundaryOli Scherer-2/+23
2024-04-08Thread pattern types through the HIROli Scherer-1/+15
2024-04-08Stop exporting `TypeckRootCtxt` and `FnCtxt`.Oli Scherer-20/+54
2024-04-08Add pattern types to parserOli Scherer-0/+39
2024-04-08Add pattern types to astOli Scherer-1/+21
2024-04-08Don't change the otherwise of the switchDianQK-1/+2
2024-04-08Change the return type of `can_simplify` to `Option<()>`DianQK-28/+26
2024-04-08Add comments for `CompareType`DianQK-8/+11
2024-04-08Updating the MIR with MirPatchDianQK-50/+54
2024-04-08Transforms a match containing negative numbers into an assignment statement a...DianQK-11/+38
2024-04-08Transforms match into an assignment statementDianQK-7/+229
2024-04-08Refactor `MatchBranchSimplification`DianQK-133/+205
2024-04-07Discard overflow obligations in impl_may_applyMichael Goulet-6/+18
2024-04-08force_array -> is_consecutiveNikita Popov-57/+53
2024-04-08Fix argument ABI for overaligned structs on ppc64leNikita Popov-33/+59
2024-04-07Only traverse mono-reachable blocks in cg_clifBen Kimock-1/+1
2024-04-07Only collect mono items from reachable blocksBen Kimock-67/+110
2024-04-07Don't even parse an intrinsic unless the feature gate is enabledMichael Goulet-11/+11
2024-04-07Fix invalid silencing of parsing errorEsteban Küber-13/+7
2024-04-07Re-enable the early otherwise branch optimizationDianQK-2/+1
2024-04-07Resolve unsound hoisting of discriminant in `EarlyOtherwiseBranch`DianQK-116/+50
2024-04-07Remove unnecessary cast from `LLVMRustGetInstrProfIncrementIntrinsic`Zalathar-2/+2
2024-04-07Auto merge of #123221 - pacak:cache_emit, r=fmease,jieyouxubors-5/+66
2024-04-07Rollup merge of #123446 - crazytonyli:fix-watchos-llvm-target, r=estebankMatthias Krüger-3/+9
2024-04-07Auto merge of #123556 - Mark-Simulacrum:drop-unused-sharding, r=Nadrierilbors-13/+6
2024-04-07Auto merge of #123058 - lukas-code:clauses, r=lcnrbors-110/+284
2024-04-06Revert "remove `pred_known_to_hold_modulo_regions`"Rémy Rakic-3/+47
2024-04-07Rollup merge of #123559 - spastorino:match_projection_projections_invariant, ...Matthias Krüger-0/+2
2024-04-07Rollup merge of #123516 - estebank:issue-123428, r=compiler-errorsMatthias Krüger-1/+2
2024-04-06Add a debug asserts call to match_projection_projections to ensure invariantSantiago Pastorino-0/+2
2024-04-06Do not ICE on field access check on expr with `ty::Error`Esteban Küber-1/+2
2024-04-06Account for trait/impl difference when suggesting changing argument from ref ...Esteban Küber-35/+54
2024-04-06add RawListLukas Markeffsky-255/+100
2024-04-06Put checks that detect UB under their own flag below debug_assertionsBen Kimock-11/+27