Redirecting to
trait.InferCtxtExt.html
...