Redirecting to
../../../../rustc/middle/traits/struct.RegionObligation.html
...