]> git.lizzy.rs Git - rust.git/commit
Auto merge of #50966 - leodasvacas:self-in-where-clauses-is-not-object-safe, r=nikoma...
authorbors <bors@rust-lang.org>
Tue, 26 Jun 2018 01:42:14 +0000 (01:42 +0000)
committerbors <bors@rust-lang.org>
Tue, 26 Jun 2018 01:42:14 +0000 (01:42 +0000)
commitfdd9cdc8792d8fa4a64956c7d3263fa5ce18e335
tree34deb6049374a320b66e7ded0ce3704334bfcd32
parent2a1c4eec40527de45b9d9b81672c8b9220d554fc
parentcc60e01581d3bb290a2299a6c2474aa29bf6a15f
Auto merge of #50966 - leodasvacas:self-in-where-clauses-is-not-object-safe, r=nikomatsakis

`Self` in where clauses may not be object safe

Needs crater, virtually certain to cause regressions.

In #50781 it was discovered that our object safety rules are not sound because we allow `Self` in where clauses without restrain. This PR is a direct fix to the rules so that we disallow methods with unsound where clauses.

This currently uses hard error to measure impact, but we will want to downgrade it to a future compat error.

Part of #50781.

r? @nikomatsakis