about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-11-28Rollup merge of #104936 - cjgillot:self-rpit-orig-too, r=oli-obkMatthias Krüger-2/+5
2022-11-28Rollup merge of #104890 - lcnr:small-cleanup, r=fee1-deadDylan DPC-36/+26
2022-11-28Rollup merge of #104732 - WaffleLapkin:from_def_idn't, r=compiler-errorsDylan DPC-4/+1
2022-11-27Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillotMatthias Krüger-21/+21
2022-11-27Auto merge of #104048 - cjgillot:split-lifetime, r=compiler-errorsbors-26/+24
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-21/+21
2022-11-27Use `TyCtxt::is_fn_trait` is a couple more placesMaybe Waffle-4/+1
2022-11-27Rename `fn_trait_kind_from_{from_lang=>def_id}` to better convey meaningMaybe Waffle-1/+1
2022-11-26Rollup merge of #104921 - compiler-errors:no-binder-on-fut-ty, r=cjgillotGuillaume Gomez-19/+14
2022-11-26Rollup merge of #104788 - compiler-errors:unresolved-ct-in-gen, r=fee1-deadGuillaume Gomez-36/+65
2022-11-26Rollup merge of #104786 - WaffleLapkin:amp-mut-help, r=compiler-errorsGuillaume Gomez-5/+2
2022-11-26Ignore bivariant parameters in test_type_match.Camille GILLOT-2/+5
2022-11-26Do not record unresolved const vars in generator interiorMichael Goulet-36/+65
2022-11-26Remove unnecessary binder from get_impl_future_output_tyMichael Goulet-19/+14
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-43/+16
2022-11-25remove `TypeError::ObjectUnsafeCoercion`lcnr-36/+26
2022-11-25Make `expand_abstract_consts` infallibleBoxy-13/+11
2022-11-25Add expand_abstract_constkadmin-6/+2
2022-11-25Add empty ConstKind::Abstractkadmin-35/+14
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-26/+32
2022-11-24Remove normalize_projection_typeSantiago Pastorino-8/+0
2022-11-23Add `Mutability::ref_prefix_str`, order `Mutability`, simplify codeMaybe Waffle-5/+2
2022-11-23Separate lifetime ident from resolution in HIR.Camille GILLOT-26/+24
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-20/+152
2022-11-22Auto merge of #103578 - petrochenkov:nofict, r=nagisabors-2/+2
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-1/+1
2022-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-2/+2
2022-11-21Test generalization during coherenceOli Scherer-1/+5
2022-11-21Add some more assertions for type relations not used during coherenceOli Scherer-8/+13
2022-11-21Type generalization should not look at opaque type in coherenceOli Scherer-2/+1
2022-11-21Remove a function that doesn't actually do anythingOli Scherer-8/+7
2022-11-21Register obligations from type relationOli Scherer-5/+12
2022-11-21Move a field aroundOli Scherer-1/+2
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-11/+55
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-0/+73
2022-11-21Auto merge of #104673 - matthiaskrgr:rollup-85f65ov, r=matthiaskrgrbors-1/+1
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-1/+1
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-28/+39
2022-11-19Rollup merge of #104554 - BoxyUwU:less_unchecked_pls, r=lcnrDylan DPC-14/+21
2022-11-19Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errorsDylan DPC-2/+3
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-1/+1
2022-11-18require an `ErrorGuaranteed` to taint infcx with errorsBoxy-11/+10
2022-11-18rename `is_tainted_by_errors` Boxy-8/+12
2022-11-18`InferCtxt::is_tainted_by_errors` returns `ErrorGuaranteed`Boxy-5/+9
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-30/+35
2022-11-15mv utility methods into separate modulelcnr-5/+2
2022-11-15nll: correctly deal with bivariancelcnr-2/+6
2022-11-14Deduplicate visitor.Camille GILLOT-3/+3