about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2021-08-14Assign FIXMEs to me and remove obsolete onesDeadbeef-1/+1
2021-08-13make check less conservative and add explanationDeadbeef-11/+24
2021-08-13Fix testsDeadbeef-2/+3
2021-08-13Fix assoc-type testDeadbeef-0/+9
2021-08-13Pass constness to SelectionContextDeadbeef-20/+71
2021-08-13Make selection and evaluation caches use constnessDeadbeef-30/+57
2021-08-13fmtDeadbeef-1/+2
2021-08-13fmtDeadbeef-2/+3
2021-08-13Filter non-const impls when we expect a const oneDeadbeef-6/+23
2021-08-13move Constness into TraitPredicateDeadbeef-30/+24
2021-08-11Auto merge of #87587 - oli-obk:lazy_tait, r=spastorinobors-149/+85
2021-08-10Don't collect into a `Vec` that is immediately being iterated on again.Oli Scherer-3/+2
2021-08-09Do not ICE on HIR based WF check when involving lifetimesEsteban Küber-3/+4
2021-08-06Point to the value instead of the TAIT declaration for obligation failuresOli Scherer-12/+9
2021-08-06Store the `DefId` of the currently typechecked item in `InferCtxt`Oli Scherer-16/+7
2021-08-06Immediately register new opaque types in the global list.Oli Scherer-11/+14
2021-08-06Split fold_opaque_tyOli Scherer-3/+14
2021-08-06Move some code around in preparation of splitting a functionOli Scherer-15/+15
2021-08-06Remove a field that is computed later anywayOli Scherer-22/+30
2021-08-06Move opaque type cache into `InferCtxt`Oli Scherer-78/+5
2021-08-03Auto merge of #86400 - FabianWolff:issue-85735, r=estebankbors-0/+1
2021-08-03Remove invalid suggestion involving Fn trait boundFabian Wolff-0/+1
2021-08-03Auto merge of #87515 - crlf0710:trait_upcasting_part2, r=bjorn3bors-7/+9
2021-08-03Do not suggest impl traits as type argumentsYuki Okushi-0/+1
2021-08-03Implement pointer casting.Charles Lew-7/+9
2021-08-01Auto merge of #87449 - matthiaskrgr:clippyy_v2, r=nagisabors-10/+5
2021-07-31Auto merge of #86264 - crlf0710:trait_upcasting_part1, r=nikomatsakisbors-20/+56
2021-07-31Implement trait upcasting coercion type-checking.Charles Lew-20/+56
2021-07-30Use multispan suggestions more oftenEsteban Küber-6/+9
2021-07-28Fix ICE in `diagnostic_hir_wf_check`Fabian Wolff-2/+2
2021-07-25clippy::filter_nextMatthias Krüger-7/+3
2021-07-25use vec![] macro to create Vector with first item inside instead of pushing t...Matthias Krüger-3/+2
2021-07-24Auto merge of #86461 - crlf0710:rich_vtable, r=nikomatsakisbors-58/+321
2021-07-24Rollup merge of #87322 - chazkiker2:fix/suggestion-ref-sync-send, r=estebankYuki Okushi-5/+30
2021-07-22Squash all commits.chaz-kiker-5/+30
2021-07-22Use instrument debugging for more readable logsOli Scherer-13/+9
2021-07-22Auto merge of #87265 - Aaron1011:hir-wf-fn, r=estebankbors-2/+2
2021-07-21Improve caching during trait evaluationAaron Hill-10/+27
2021-07-20Support HIR wf checking for function signaturesAaron Hill-2/+2
2021-07-20Switch to store `Instance` directly within `VtblEntry`, fix `TraitVPtr` repre...Charles Lew-8/+18
2021-07-20Add internal attribute and tests.Charles Lew-1/+11
2021-07-20Refactor vtable format.Charles Lew-57/+300
2021-07-20Auto merge of #87244 - jackh726:issue-71883, r=estebankbors-2/+9
2021-07-20Auto merge of #87141 - spastorino:remove_impl_trait_in_bindings, r=oli-obkbors-9/+3
2021-07-19Better diagnostics when mismatched types due to implict static lifetimejackh726-2/+9
2021-07-19Auto merge of #87225 - estebank:cleanup, r=oli-obkbors-12/+20
2021-07-19Various diagnostics clean ups/tweaksEsteban Küber-12/+20
2021-07-18Revert "structural_match: non-structural-match ty closures"Santiago Pastorino-5/+1
2021-07-18Remove OpaqueTyOrigin::Misc, use TyAlias insteadSantiago Pastorino-2/+2
2021-07-17Remove OpaqueTyOrigin::BindingSantiago Pastorino-3/+1