Auto merge of #92232 - matthiaskrgr:rollup-eqdac7z, r=matthiaskrgr

Rollup of 5 pull requests

Successful merges:

 - #90625 (Add `UnwindSafe` to `Once`)
 - #92121 (disable test with self-referential generator on Miri)
 - #92166 (Fixed a small typo in ui test comments)
 - #92203 (Store a `DefId` instead of an `AdtDef` in `AggregateKind::Adt`)
 - #92231 (Update books)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
This commit is contained in:
bors 2021-12-23 19:43:04 +00:00
commit c09a9529c5
18 changed files with 45 additions and 36 deletions

@ -1 +1 @@
Subproject commit 5f9358faeb1f46e19b8a23a21e79fd7fe150491e
Subproject commit 8a0bb3c96e71927b80fa2286d7a5a5f2547c6aa4

@ -1 +1 @@
Subproject commit 49681ea4a9fa81173dbe9ffed74b4d4a35eae9e3
Subproject commit c05c452b36358821bf4122f9c418674edd1d713d

@ -1 +1 @@
Subproject commit 954f3d441ad880737a13e241108f791a4d2a38cd
Subproject commit 06f9e61931bcf58b91dfe6c924057e42ce273ee1

@ -1 +1 @@
Subproject commit a374e7d8bb6b79de45b92295d06b4ac0ef35bc09
Subproject commit 9bf0028b557798ddd07a6f652e4d0c635d3d6620

View file

@ -1,7 +1,7 @@
// Regression test for #92111.
//
// The issue was that we normalize trait bounds before caching
// results of selection. Checking that `impl NoDrop for S` requires
// results of selection. Checking that `impl Tr for S` requires
// checking `S: !Drop` because it cannot overlap with the blanket
// impl. Then we save the (unsatisfied) result from checking `S: Drop`.
// Then the call to `a` checks whether `S: ~const Drop` but we normalize