about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-0/+79
2022-07-27Rollup merge of #99651 - compiler-errors:fn-and-raw-ptr-in-const-generics, r=...Guillaume Gomez-68/+68
2022-07-27Rollup merge of #99789 - TaKO8Ki:use-pluralize-macro, r=compiler-errorsYuki Okushi-2/+2
2022-07-27use `pluralize!`Takayuki Maeda-2/+2
2022-07-26Fix diagnostics for unfulfilled obligationsDeadbeef-7/+11
2022-07-26Rollup merge of #99666 - compiler-errors:issue-99663, r=lcnrDylan DPC-1/+30
2022-07-26Rollup merge of #99618 - compiler-errors:uhh-idk, r=lcnrDylan DPC-13/+4
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-12/+14
2022-07-25handle consts with param/infer in const_eval_resolve betterMichael Goulet-13/+4
2022-07-25Restore Opaque behavior to coherence checkMichael Goulet-1/+30
2022-07-25Generate correct suggestion with named arguments used positionallyPreston From-1/+1
2022-07-25Remove non-descriptive boolean from search_for_structural_match_violationMichael Goulet-11/+26
2022-07-25Get rid of redundant NonStructuralMatchTyKindMichael Goulet-53/+14
2022-07-25Deeply deny fn and raw ptrs in const genericsMichael Goulet-23/+47
2022-07-24Combine redundant obligation cause codesMichael Goulet-41/+6
2022-07-24suggest dereferencing index when trying to use a reference of usize as indexTakayuki Maeda-0/+28
2022-07-24Auto merge of #93429 - fee1-dead-contrib:allow-super-trait-tilde-const, r=oli...bors-8/+35
2022-07-24Instantiate constness in wfcheckDeadbeef-8/+35
2022-07-23Rollup merge of #99449 - compiler-errors:assoc-const-missing-item, r=lcnrGuillaume Gomez-3/+12
2022-07-23Rollup merge of #99580 - fmease:fix-issue-99565, r=estebankMatthias Krüger-3/+3
2022-07-22Do not resolve associated const when there is no provided valueMichael Goulet-3/+12
2022-07-22Auto merge of #99521 - fee1-dead-contrib:const_fix_hax, r=oli-obkbors-48/+29
2022-07-22Rollup merge of #99539 - compiler-errors:bidirectional-block-suggestions, r=f...Dylan DPC-2/+1
2022-07-22Don't suggest unnameable generic argumentsLeón Orell Valerian Liehr-3/+3
2022-07-21Auto merge of #99501 - lcnr:check-regions-infcx, r=oli-obkbors-98/+32
2022-07-21Rollup merge of #99558 - fee1-dead-contrib:remap_constness_fix, r=oli-obkMatthias Krüger-3/+3
2022-07-21Rollup merge of #99552 - lcnr:orphan_check-rework, r=oli-obkMatthias Krüger-196/+123
2022-07-21Rollup merge of #99528 - matthiaskrgr:2022_07_perf, r=estebankMatthias Krüger-2/+2
2022-07-21Fix `remap_constness`Deadbeef-3/+3
2022-07-21`region_outlives_predicate` no snapshotlcnr-29/+7
2022-07-21move `considering_regions` to the infcxlcnr-77/+33
2022-07-21rewrite the orphan check to use a type visitorlcnr-169/+124
2022-07-21orphan check: opaque types are an errorlcnr-29/+1
2022-07-21change `map_bound(|_| x` to `rebind(x`Deadbeef-2/+2
2022-07-21Resolve vars in same_type_modulo_inferMichael Goulet-2/+1
2022-07-20Fix hack that remaps env constness.Deadbeef-46/+27
2022-07-20no leak_check -> commit_unconditionally is nooplcnr-186/+167
2022-07-20clippy::perf fixesMatthias Krüger-2/+2
2022-07-20take opaq typesouz-a-3/+6
2022-07-19Rollup merge of #99401 - TaKO8Ki:avoid-symbol-to-&str-conversions, r=nnethercoteMatthias Krüger-2/+2
2022-07-19Rollup merge of #98028 - aticu:master, r=estebankMatthias Krüger-0/+92
2022-07-19Add E0790 as more specific variant of E0283aticu-0/+92
2022-07-18Check generators for well formednessOli Scherer-9/+10
2022-07-18Auto merge of #99232 - lcnr:no-bound-vars-check, r=jackh726bors-2/+5
2022-07-18Auto merge of #99181 - lcnr:arenaGTrc, r=wesleywiserbors-10/+11
2022-07-18avoid `Symbol` to `&str` conversionsTakayuki Maeda-2/+2
2022-07-18Auto merge of #99137 - jackh726:wf-no-infcx, r=estebankbors-58/+46
2022-07-16Stabilize `let_chains`Caio-1/+1
2022-07-16Rollup merge of #99290 - compiler-errors:revert-98794, r=lcnrMatthias Krüger-71/+13
2022-07-15Fix suggestion regression with incorrect syntactic combination of trait boundsWill Crichton-1/+13