about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-07-24Auto merge of #93429 - fee1-dead-contrib:allow-super-trait-tilde-const, r=oli...bors-1/+6
2022-07-23Remap elaborated obligation constnessDeadbeef-1/+6
2022-07-23Rollup merge of #99580 - fmease:fix-issue-99565, r=estebankMatthias Krüger-6/+35
2022-07-22Rollup merge of #99539 - compiler-errors:bidirectional-block-suggestions, r=f...Dylan DPC-117/+422
2022-07-22Don't suggest unnameable generic argumentsLeón Orell Valerian Liehr-6/+35
2022-07-21Address more nitsMichael Goulet-37/+31
2022-07-21Generalize same_type_modulo_inferMichael Goulet-3/+34
2022-07-21`region_outlives_predicate` no snapshotlcnr-10/+5
2022-07-21move `considering_regions` to the infcxlcnr-2/+21
2022-07-21And for patterns tooMichael Goulet-78/+89
2022-07-21Do if-expression obligation stuff less eagerlyMichael Goulet-38/+297
2022-07-21Resolve vars in same_type_modulo_inferMichael Goulet-68/+78
2022-07-20Auto merge of #99058 - michaelwoerister:remove-stable-set-and-map, r=nagisabors-3/+3
2022-07-20Remove unused StableMap and StableSet types from rustc_data_structuresMichael Woerister-3/+3
2022-07-20Rollup merge of #99383 - ouz-a:issue_57961, r=oli-obkDylan DPC-47/+70
2022-07-20Rollup merge of #99345 - compiler-errors:issue-99073-redux, r=oli-obkDylan DPC-1/+1
2022-07-20take opaq typesouz-a-47/+70
2022-07-19use opaque_ty_origin_unchecked instead of destructuring HIRMichael Goulet-1/+1
2022-07-19Rollup merge of #99401 - TaKO8Ki:avoid-symbol-to-&str-conversions, r=nnethercoteMatthias Krüger-1/+1
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-14/+20
2022-07-18avoid `Symbol` to `&str` conversionsTakayuki Maeda-1/+1
2022-07-16Stabilize `let_chains`Caio-1/+1
2022-07-16Rollup merge of #99342 - TaKO8Ki:avoid-symbol-to-string-conversions, r=compil...Matthias Krüger-2/+2
2022-07-17avoid some `Symbol` to `String` conversionsTakayuki Maeda-2/+2
2022-07-15provide `generic_param_scope` for region errorslcnr-59/+37
2022-07-15Rollup merge of #98869 - compiler-errors:stop_guessing_head_span, r=cjgillotDylan DPC-18/+13
2022-07-15Auto merge of #97406 - aliemjay:verify-bounds-fix-master, r=oli-obkbors-53/+46
2022-07-15remove tcx from ObligationCauseCode::spanMichael Goulet-11/+5
2022-07-15Remove some more usages of guess_head_spanMichael Goulet-8/+9
2022-07-14Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnrDylan DPC-3/+8
2022-07-14Auto merge of #99231 - Dylan-DPC:rollup-0tl8c0o, r=Dylan-DPCbors-2/+2
2022-07-14Fix overlapping implskadmin-3/+8
2022-07-14Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillotDylan DPC-2/+2
2022-07-14Make outlives::{components,verify} agreeAli MJ Al-Nasrawy-53/+46
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-07-12Add an indirection for closures in `hir::ExprKind`Maybe Waffle-2/+2
2022-07-09Auto merge of #99056 - lcnr:higher_ranked_sub, r=oli-obkbors-21/+17
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-2/+10
2022-07-08don't use `commit_if_ok` during `higher_ranked_sub`lcnr-21/+17
2022-07-08Only register hidden types for opaque types from the current crate, nothing e...Oli Scherer-1/+1
2022-07-07Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey-38/+22
2022-07-06replace `guess_head_span` with `def_span`Takayuki Maeda-8/+8
2022-07-06Update TypeVisitor pathsAlan Egerton-19/+19
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-6/+9
2022-07-05Explicit TypeVisitable implementationsAlan Egerton-0/+3
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-4/+4
2022-07-05Auto merge of #98584 - lcnr:region-stuff-more-beans, r=oli-obkbors-136/+48
2022-07-04region obligations, remove `body_id`lcnr-19/+9
2022-07-04implied bounds byebye nested hir idslcnr-97/+20
2022-07-04only use `FnCtxt` for regionck inside of bodieslcnr-0/+13