Commits on Oct 12, 2015

1. require a method callee's type to outlive the call …

   This rather crucial requirement was not checked. In most cases, that
   didn't cause any trouble because the argument types are required to
   outlive the call and are subtypes of a subformula of the callee type.
   
   However, binary ops are taken by ref only indirectly, without it being
   marked in the argument types, which led to the argument types not being
   constrained anywhere causing spurious errors (as these are basically
   unconstrainable, I don't think this change can break code). Of course,
   the old way was also incorrent with contravariance, but that is still
   unsound for other reasons.
   
   This also improves rustc::front to get RUST_LOG to *somewhat* work.
   
   Fixes rust-lang#28999

   

   arielb1 committed Oct 12, 2015
   Configuration menu

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

   Copy the full SHA

   ed2a11d View commit details

   Browse the repository at this point in the history