tree 4e64d8e3b7af39924ccf99a645f01fc07f90141b
parent 69e93e81792aec04dc5bf3f9832a24aa7e30ddbd
parent 4ecd94e1215882efde5f003c0042bd72a5f8acb2
author Mazdak Farrokhzad <twingoow@gmail.com> 1568682518 +0200
committer GitHub <noreply@github.com> 1568682518 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdgDIWCRBK7hj4Ov3rIwAAdHIIAKQ0WDEqGkJa2HxZBF4uyFTg
 +XZk2Lc8A2AT37A6Mx/9kM4uI08BTVjUafpFQHHI1azxmNZiIqKgDuwF8GqVN047
 ngkNtk3N87MFANgniqXA/En3awZsOODiBjoVOXIF6gtn7Fb4GDNAAg/ztjtWW1gY
 PexDIsUdjd19h46Ldr1lXrxdj5vxlGPNHBcr2aL4xQx6dJnLZ2RD7AO+8CEtlvpu
 y7F9m3/fCCtorsVLAXFEqxMaGQ/zmYbhd//lPo4j/xmPZFik98FRoyAcuc7A/LE8
 LxEuCkciVTqO4cZ4AO2FKtxZsjF/DbQHwvccl2gGHRDjf2zSkv8oHGugGrEPaIg=
 =jg6S
 -----END PGP SIGNATURE-----
 

Rollup merge of #64500 - nnethercote:ObligForest-fixups, r=nikomatsakis

Various `ObligationForest` improvements

These commits make the code both nicer and faster.

r? @nikomatsakis