The rustc-guide has moved! You will be redirected to rustc-dev-guide shortly. Alternately, click here: https://rustc-dev-guide.rust-lang.org/opaque-types-type-alias-impl-trait.html.