about summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2020-07-27introduce PredicateAtomBastian Kauschke-6/+6
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-1/+1
2020-07-27split ignore_qualifiersBastian Kauschke-2/+2
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-9/+9
2020-07-27progressBastian Kauschke-13/+9
2020-07-27convert trivial predicatesBastian Kauschke-7/+7
2020-07-24Rollup merge of #74661 - SNCPlay42:lifetime-names-refactor, r=estebankManish Goregaokar-89/+92
2020-07-23rename arguments to highlight_if_we_can_match_hir_tySNCPlay42-7/+6
2020-07-23move highlight_if_we_can_match_hir_ty callSNCPlay42-6/+5
2020-07-22decouple highlight_if_we_cannot_match_hir_tySNCPlay42-10/+10
2020-07-22clean up give_name_if_anonymous_region_appears_in_argumentsSNCPlay42-18/+9
2020-07-22rename functionsSNCPlay42-7/+7
2020-07-22change returns to RegionNameHighlightSNCPlay42-38/+29
2020-07-22extract RegionNameHighlightSNCPlay42-23/+40
2020-07-22add RegionName::spanSNCPlay42-13/+19
2020-07-21fetch -> lookupBastian Kauschke-1/+1
2020-07-21remove some const arg in ty dep path boilerplateBastian Kauschke-7/+7
2020-07-17Rename TypeckTables to TypeckResults.Valentin Lazureanu-15/+10
2020-07-15WithOptConstParam::dummy -> WithOptConstParam::unknownBastian Kauschke-1/+1
2020-07-15ty_def_id -> def_id_for_type_ofBastian Kauschke-1/+1
2020-07-15improve namingBastian Kauschke-8/+8
2020-07-15update const arg queriesBastian Kauschke-5/+5
2020-07-15const generics work!Bastian Kauschke-52/+67
2020-07-15continue mir pipelineBastian Kauschke-2/+2
2020-07-15ConstKind::UnevaluatedBastian Kauschke-2/+2
2020-07-15Add and use more static symbols.Nicholas Nethercote-6/+4
2020-07-09Rollup merge of #74070 - eddyb:forall-tcx-providers, r=nikomatsakisManish Goregaokar-1/+1
2020-07-05Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>.Eduard-Mihai Burtescu-1/+1
2020-07-04instantiate_opaque_types LocalDefIdBastian Kauschke-6/+6
2020-07-01Rollup merge of #73806 - Aaron1011:feature/approx-universal-upper, r=estebankManish Goregaokar-2/+39
2020-06-30change `skip_binder` to use T by valueBastian Kauschke-2/+2
2020-06-30stop taking references in RelateBastian Kauschke-1/+1
2020-06-27Rollup merge of #73796 - lcnr:LocalDefId, r=matthewjasperManish Goregaokar-24/+23
2020-06-27Use an 'approximate' universal upper bound when reporting region errorsAaron Hill-2/+39
2020-06-27more LocalDefId cleanupBastian Kauschke-25/+24
2020-06-27more LocalDefId in ty::contextBastian Kauschke-1/+1
2020-06-26Explain move errors that occur due to method calls involving `self`Aaron Hill-30/+213
2020-06-24Provide suggestions for some moved value errorsEsteban Küber-10/+51
2020-06-23Auto merge of #73643 - Manishearth:rollup-68dr8fz, r=Manishearthbors-1/+1
2020-06-23Rollup merge of #72493 - nikomatsakis:move-leak-check, r=matthewjasperManish Goregaokar-1/+1
2020-06-23Rollup merge of #73600 - Aaron1011:fix/move-in-macro, r=ecstatic-morseDylan DPC-1/+1
2020-06-22fix subtle bug in NLL type checkerNiko Matsakis-1/+1
2020-06-22Revert "Rollup merge of #72389 - Aaron1011:feature/move-fn-self-msg, r=nikoma...Aaron Hill-204/+30
2020-06-21Fix spurious 'value moved here in previous iteration of loop' messagesAaron Hill-1/+1
2020-06-18Rollup merge of #72814 - RalfJung:mir-visir-terminator, r=oli-obkManish Goregaokar-17/+23
2020-06-18Rollup merge of #70551 - mark-i-m:ty-err-2, r=varkorManish Goregaokar-3/+3
2020-06-16add probably accidentally missing super_* callsRalf Jung-6/+4
2020-06-16rename location field of Drop terminators to placeRalf Jung-8/+8
2020-06-16remove visit_terminator_kind from MIR visitorRalf Jung-8/+16
2020-06-16Auto merge of #72962 - lcnr:ObligationCause-lrc, r=ecstatic-morsebors-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-16 14:34:27 +0000