about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2023-02-08Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnrMatthias Krüger-8/+15
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-8/+15
2023-02-07Auto merge of #107768 - matthiaskrgr:rollup-9u4cal4, r=matthiaskrgrbors-25/+16
2023-02-07Rollup merge of #107709 - tialaramex:master, r=compiler-errorsMatthias Krüger-1/+2
2023-02-07Rollup merge of #107555 - edward-shen:edward-shen/dup-trait-suggestion, r=com...Matthias Krüger-29/+66
2023-02-07remove binder from query constraintslcnr-25/+16
2023-02-06Fix problem noticed in PR106859 with char -> u8 suggestionNick Lamb-1/+2
2023-02-06Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl...Matthias Krüger-24/+26
2023-02-06Modify existing bounds if they existEdward Shen-29/+66
2023-02-06Split and inline `TypeFreshener::fold_ty`.Nicholas Nethercote-68/+61
2023-02-06Split and inline `ShallowResolver::fold_ty`.Nicholas Nethercote-24/+33
2023-02-06Inline `OpportunisticVarResolver::fold_ty`.Nicholas Nethercote-0/+1
2023-02-06Improve early bailout test in `resolve_vars_if_possible`.Nicholas Nethercote-2/+2
2023-02-06Put a `ShallowResolver` within `OpportunisticVarResolver`.Nicholas Nethercote-5/+7
2023-02-05emit `ConstEquate` in `TypeRelating<D>`Boxy-6/+7
2023-02-02Rollup merge of #107201 - compiler-errors:confusing-async-fn-note, r=estebankMatthias Krüger-46/+16
2023-01-31Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obkGuillaume Gomez-4/+4
2023-01-30Track bound types like bound regionsMichael Goulet-4/+4
2023-01-30Make structured suggestion for fn casting verboseEsteban Küber-1/+1
2023-01-30Mention fn coercion rules (needs to be expanded)Esteban Küber-0/+19
2023-01-30review commentsEsteban Küber-1/+1
2023-01-30Modify primary span label for E0308Esteban Küber-9/+25
2023-01-28Auto merge of #107303 - compiler-errors:intern-canonical-var-values, r=lcnrbors-18/+15
2023-01-28Rollup merge of #107385 - BoxyUwU:ConstInferUnifier_is_folder, r=compiler-errorsMatthias Krüger-88/+26
2023-01-28Rollup merge of #107339 - aliemjay:covariant, r=lcnrMatthias Krüger-7/+10
2023-01-27Pacify tidy.Camille GILLOT-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-0/+8
2023-01-27yeetBoxy-88/+26
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+3
2023-01-27Separate trait selection from ambiguity reporting.Camille GILLOT-3/+14
2023-01-26fixup new usages of fn_sig, bound_fn_sig after rebasingKyle Matsuda-5/+5
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-5/+5
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-27internally change regions to be covariantAli MJ Al-Nasrawy-7/+10
2023-01-26Intern CanonicalVarValuesMichael Goulet-18/+15
2023-01-26Rollup merge of #107304 - Nilstrieb:ᐸTy as PartialEqᐳ::eq becau...Matthias Krüger-1/+657
2023-01-26improve fn pointer notesMatthew J Perez-8/+44
2023-01-25Use `can_eq` to compare types for default assoc type errorNilstrieb-3/+9
2023-01-25Move `note_and_explain_type_err` from `rustc_middle` to `rustc_infer`Nilstrieb-1/+651
2023-01-25Auto merge of #103902 - vincenzopalazzo:macros/obligation_rulesv2, r=oli-obkbors-14/+6
2023-01-24Add suggestions for function pointersMatthew J Perez-2/+79
2023-01-23Point at specific field in struct literal when trait fulfillment failsNathan Fenner-24/+26
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-14/+6
2023-01-23Rollup merge of #104926 - spastorino:calculate_diverging_fallback-cleanups, r...Dylan DPC-3/+0
2023-01-22Remove confusing 'while checking' note from opaque future type mismatchesMichael Goulet-46/+16
2023-01-22Store relationships on InherentSantiago Pastorino-3/+0
2023-01-22Rollup merge of #107111 - chenyukang:yukang/fix-107090-fluent-parameters, r=p...Matthias Krüger-1/+6
2023-01-20Fix typo in opaque_types.rsIkko Eltociear Ashimine-2/+2
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-11/+11
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-139/+65