about summary refs log tree commit diff
path: root/compiler
AgeCommit message (Expand)AuthorLines
2023-07-04Rollup merge of #113296 - BoxyUwU:proof_trees_on_error, r=lcnrMatthias Krüger-34/+159
2023-07-04Rollup merge of #113251 - chenyukang:yukang-fix-112940-smir, r=oli-obkMatthias Krüger-14/+18
2023-07-04Rollup merge of #113192 - lcnr:add-comment, r=compiler-errorsMatthias Krüger-4/+13
2023-07-04reviewsBoxy-102/+95
2023-07-04Auto merge of #113309 - chenyukang:yukang-fix-89640-space, r=Nilstriebbors-0/+16
2023-07-04Detect extra space in keyword for better hintyukang-0/+16
2023-07-04Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnrbors-2976/+29
2023-07-04move logic for flags into separate functionBoxy-30/+35
2023-07-04change flag nameBoxy-2/+2
2023-07-04reviewsBoxy-8/+8
2023-07-04Auto merge of #113304 - cuviper:indexmap-2, r=Mark-Simulacrumbors-3/+3
2023-07-04Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorinobors-26/+24
2023-07-04Auto merge of #112917 - chenyukang:yukang-fix-112590, r=estebankbors-5/+64
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-71/+17
2023-07-03Remove chalk from the compilerMichael Goulet-2905/+12
2023-07-03Upgrade to indexmap 2.0.0Josh Stone-3/+3
2023-07-03Auto merge of #108611 - davidtwco:issue-94223-external-abi-fn-ptr-in-internal...bors-18/+146
2023-07-03add flag for disabling global cache and printing proof trees on errorBoxy-48/+175
2023-07-03Auto merge of #113293 - GuillaumeGomez:rollup-2395uw0, r=GuillaumeGomezbors-82/+438
2023-07-03Rollup merge of #113286 - fmease:iat-dont-select-if-not-enabled, r=compiler-e...Guillaume Gomez-5/+9
2023-07-03Helpers for creating EvalCtxts, some commentsMichael Goulet-153/+174
2023-07-03Implement selection in new trait solverMichael Goulet-21/+352
2023-07-03lint: refactor to make logic a bit cleanerDavid Wood-29/+27
2023-07-03lint: stop normalizing types to avoid recur limitsDavid Wood-5/+1
2023-07-03Revert "Suggest `x build library` for a custom toolchain that fails to load `...Nilstrieb-13/+4
2023-07-03lint/ctypes: check other types for ext. fn-ptr tyDavid Wood-1/+63
2023-07-03lint/ctypes: multiple external fn-ptrs in tyDavid Wood-18/+45
2023-07-03abi: avoid ice for non-ffi-safe fn ptrsDavid Wood-4/+6
2023-07-03lint/ctypes: ext. abi fn-ptr in internal abi fnDavid Wood-16/+59
2023-07-03Don't perform selection if IATs are not enabledLeón Orell Valerian Liehr-5/+9
2023-07-03Auto merge of #113086 - lcnr:rust8, r=compiler-errorsbors-105/+467
2023-07-03rebaselcnr-2/+2
2023-07-03reviewlcnr-16/+27
2023-07-03`deeply_normalize` pass in fulfill cx for old solverlcnr-12/+15
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-52/+111
2023-07-03add a `try_structurally_resolve_type` in coercelcnr-14/+23
2023-07-03add deep normalization via the new solverlcnr-6/+281
2023-07-03add instrument to `register_predicate_obligation`lcnr-0/+1
2023-07-03fix structurally relate for weak aliaseslcnr-11/+15
2023-07-03rename `structurally_resolved_type`lcnr-22/+22
2023-07-03Auto merge of #113271 - matthiaskrgr:rollup-2ik4vaj, r=matthiaskrgrbors-4/+13
2023-07-03Auto merge of #112882 - DrMeepster:new_un_derefer, r=oli-obkbors-136/+137
2023-07-02Rollup merge of #113259 - MU001999:diag/add-std, r=NilstriebMatthias Krüger-4/+13
2023-07-02Downgrade rustixNilstrieb-0/+3
2023-07-02Downgrade tracing and synNilstrieb-2/+3
2023-07-02Auto merge of #113040 - Kobzol:llvm-remark-streamer, r=tmiaskobors-13/+162
2023-07-02Add `rustc` option to output LLVM optimization remarks to YAML filesJakub Beránek-13/+162
2023-07-02Auto merge of #113256 - matthiaskrgr:rollup-poex8w2, r=matthiaskrgrbors-5/+7
2023-07-02Suggest `x build library` for a custom toolchain that fails to load `core`Mu001999-4/+13
2023-07-02Rollup merge of #113233 - Nilstrieb:chaaalk, r=jackh726Matthias Krüger-4/+6