]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 4307914 cbf5f7d)
Rollup merge of #69591 - matthewjasper:query-response-relate, r=nikomatsakis
authorMazdak Farrokhzad <twingoow@gmail.com>
Wed, 11 Mar 2020 09:36:19 +0000 (10:36 +0100)
committerGitHub <noreply@github.com>
Wed, 11 Mar 2020 09:36:19 +0000 (10:36 +0100)
commitd7f0b88aded09f6b7d2ebdc019a78b3d1fe566c7
treedd4ed5f3c417f2d2b608e3f4c0bb76945292c128tree | snapshot
parent43079147f4fcc5c0a9019fb39acdc8aa3c384f65commit | diff
parentcbf5f7d23c4c0c91580245f36fda3ba1b6a12069commit | diff
Rollup merge of #69591 - matthewjasper:query-response-relate, r=nikomatsakis

Use TypeRelating for instantiating query responses

`eq` can add constraints to `RegionConstraintData`, which isn't allowed during borrow checking outside of a `CustomTypeOp`. Use `TypeRelating` instead to always push constraints to the obligations list.

closes #69490
src/librustc_infer/infer/canonical/query_response.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.