Commits on Nov 28, 2021

1. Fix incorrect usage of EvaluatedToOk when evaluating TypeOutlives …

   A global predicate is not guarnatenteed to outlive all regions.
   If the predicate involves late-bound regions, then it may fail
   to outlive other regions (e.g. `for<'b> &'b bool: 'static` does not
   hold)
   
   We now only produce `EvaluatedToOk` when a global predicate has no
   late-bound regions - in that case, the ony region that can be present
   in the type is 'static

   

   Aaron1011 committed Nov 28, 2021
   Configuration menu

   • View commit details
   • Copy full SHA for 4910fe6
   • Browse repository at this point

   Copy the full SHA

   4910fe6 View commit details

   Browse the repository at this point in the history