about summary refs log tree commit diff
path: root/src/librustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-06-04Rollup merge of #72946 - lcnr:remove-fixme, r=Dylan-DPCDylan DPC-3/+0
2020-06-03remove outdated fixmeBastian Kauschke-3/+0
2020-06-03remove ignore-tidy-filelengthBastian Kauschke-2/+0
2020-06-03move confirmation into submoduleBastian Kauschke-804/+827
2020-06-03move candidate assembly into a submoduleBastian Kauschke-607/+613
2020-06-03move select into subfolderBastian Kauschke-0/+0
2020-06-03Auto merge of #70107 - lcnr:issue68977, r=eddybbors-74/+142
2020-06-02Rename the crates in source codeVadim Petrochenkov-3/+2
2020-06-02Make things build againVadim Petrochenkov-1/+1
2020-06-02update testsBastian Kauschke-3/+4
2020-06-02change WellFormed predicate to GenericArgBastian Kauschke-120/+78
2020-06-02add WellFormedConst predicateBastian Kauschke-11/+71
2020-06-02implement wf checking for constantsBastian Kauschke-38/+87
2020-06-02remove assertBastian Kauschke-2/+1
2020-06-02Rollup merge of #72775 - JohnTitor:await-sugg, r=estebankYuki Okushi-7/+6
2020-06-02normalize adt fields during structural match checkBastian Kauschke-1/+5
2020-06-01Call `skip_binder` or `no_bound_vars` before `self_ty`Dylan MacKenzie-19/+39
2020-06-01Rollup merge of #72776 - lcnr:stalled_on-smallvec, r=nnethercoteDylan DPC-3/+4
2020-05-31Rollup merge of #72807 - xiaotianrandom:fix-assoc-type-diagnostics, r=estebankDylan DPC-19/+12
2020-05-31Rollup merge of #72715 - estebank:trailing-comma-where, r=petrochenkovRalf Jung-1/+1
2020-05-31remove fixme for `stalled_on`Bastian Kauschke-3/+4
2020-05-31Fix associate type diagnosticsXIAO Tian-19/+12
2020-05-30Rollup merge of #72540 - davidtwco:issue-67552-mono-collector-comparison, r=v...Ralf Jung-8/+7
2020-05-30Return early to avoid ICEYuki Okushi-7/+6
2020-05-30Rollup merge of #72621 - Aaron1011:fix/trait-select-error, r=nikomatsakisYuki Okushi-11/+0
2020-05-29Move common code to `WhereClause`Esteban Küber-10/+1
2020-05-29Rollup merge of #72466 - lzutao:stabilize_str-strip, r=dtolnayDylan DPC-1/+0
2020-05-28Account for trailing comma when suggesting `where` clausesEsteban Küber-1/+10
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-8/+7
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-33/+31
2020-05-27Auto merge of #71996 - Marwes:detach_undo_log, r=nikomatsakisbors-12/+6
2020-05-26Don't bail out of trait selection when predicate references an errorAaron Hill-11/+0
2020-05-25Rollup merge of #72450 - csmoe:issue-72442, r=oli-obkDylan DPC-1/+5
2020-05-25Rollup merge of #72061 - lcnr:const-inference-test, r=eddybDylan DPC-4/+4
2020-05-25Rollup merge of #72153 - lcnr:exhaustively-match, r=pnkfelixDylan DPC-5/+48
2020-05-25Rollup merge of #72544 - sexxi-goose:upvars_mentioned, r=matthewjasperRalf Jung-1/+1
2020-05-24librustc_middle: Rename upvars query to upvars_mentionedAman Arora-1/+1
2020-05-24Auto merge of #72524 - RalfJung:rollup-s9f1pcc, r=RalfJungbors-19/+6
2020-05-24Rollup merge of #72517 - lcnr:refactor-winnowing, r=jonas-schievinkRalf Jung-19/+6
2020-05-24Auto merge of #72362 - matthewjasper:remove-rescope, r=nikomatsakisbors-7/+2
2020-05-24small select cleanupBastian Kauschke-19/+6
2020-05-24Rollup merge of #71618 - ecstatic-morse:issue-71394, r=nikomatsakisDylan DPC-42/+53
2020-05-23iterate List by valueBastian Kauschke-11/+9
2020-05-23take predicates by value instead of by referenceBastian Kauschke-22/+22
2020-05-22Use `mk_trait_obligation_with_new_self_ty` for new suggestionDylan MacKenzie-7/+6
2020-05-22Bail out if `output_ty` has bound variablesDylan MacKenzie-5/+9
2020-05-22Document invariants of `mk_trait_obligation_with_new_self_ty`Dylan MacKenzie-0/+4
2020-05-22Ensure that `new_self_ty` has no escaping bound varsDylan MacKenzie-0/+2
2020-05-22Preserve substitutions when trying to prove trait obligationDylan MacKenzie-33/+35
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-7/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 07:02:41 +0000