Skip to content

Commit

Permalink
Replace direct http links to rustc-dev-guide.rust-lang.org to relativ…
Browse files Browse the repository at this point in the history
…e links to the corresponding md source files.
  • Loading branch information
pmundkur committed Aug 21, 2024
1 parent 98926c5 commit 308f604
Show file tree
Hide file tree
Showing 5 changed files with 8 additions and 8 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -158,7 +158,7 @@ See [#113971] for how we used to conflate the difference.

[#113971]: https://github.com/rust-lang/rust/issues/113971
[SCC]: https://en.wikipedia.org/wiki/Strongly_connected_component
[member constraints]: https://rustc-dev-guide.rust-lang.org/borrow_check/region_inference/member_constraints.html
[member constraints]: ./region_inference/member_constraints.md

**interaction with "once modulo regions" restriction**
In the example above, note the opaque type in the signature is `Opaque<'a>` and the one in the
Expand Down
4 changes: 2 additions & 2 deletions src/opaque-types-impl-trait-inference.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ This kind of type inference is particularly complex because,
unlike other kinds of type inference,
it can work across functions and function bodies.

[hidden type]: https://rustc-dev-guide.rust-lang.org/borrow_check/region_inference/member_constraints.html?highlight=%22hidden%20type%22#member-constraints
[opaque type]: https://rustc-dev-guide.rust-lang.org/opaque-types-type-alias-impl-trait.html
[hidden type]: ./borrow_check/region_inference/member_constraints.html?highlight=%22hidden%20type%22#member-constraints
[opaque type]: ./opaque-types-type-alias-impl-trait.md

## Running example

Expand Down
4 changes: 2 additions & 2 deletions src/overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@ following files are found in the `parser`:

This naming scheme is used across many compiler stages. You will find either a
file or directory with the same name across the parsing, lowering, type
checking, [Typed High-level Intermediate Representation (`THIR`)] lowering, and
checking, [Typed High-level Intermediate Representation (`THIR`)][thir] lowering, and
[Mid-level Intermediate Representation (`MIR`)][mir] building sources.

Macro-expansion, `AST`-validation, name-resolution, and early linting also take
Expand Down Expand Up @@ -168,7 +168,7 @@ the final binary.
[parser]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_parse/index.html
[rustc_parse_parser_dir]: https://github.com/rust-lang/rust/tree/master/compiler/rustc_parse/src/parser
[String interning]: https://en.wikipedia.org/wiki/String_interning
[Typed High-level Intermediate Representation (`THIR`)]: https://rustc-dev-guide.rust-lang.org/thir.html
[thir]: ./thir.md

## How it does it

Expand Down
4 changes: 2 additions & 2 deletions src/param_env/param_env_construction_internals.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ fn foo<T: Trait + Trait>() {}
The [next-gen trait solver][next-gen-solver] also requires this elaboration to take place.

[elaborate]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_infer/traits/util/fn.elaborate.html
[next-gen-solver]: https://rustc-dev-guide.rust-lang.org/solve/trait-solving.html
[next-gen-solver]: ../solve/trait-solving.md

## Normalizing all bounds

Expand Down Expand Up @@ -80,4 +80,4 @@ In the next-gen trait solver the requirement for all where clauses in the `Param

[example]: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=e6933265ea3e84eaa47019465739992c
[pe]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.ParamEnv.html
[normalize_env_or_error]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_trait_selection/traits/fn.normalize_param_env_or_error.html
[normalize_env_or_error]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_trait_selection/traits/fn.normalize_param_env_or_error.html
2 changes: 1 addition & 1 deletion src/solve/opaque-types.md
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,7 @@ end up leaking placeholders.
The handling of member constraints does not change in the new solver. See the
[relevant existing chapter][member-constraints] for that.

[member-constraints]: https://rustc-dev-guide.rust-lang.org/borrow_check/region_inference/member_constraints.html
[member-constraints]: ../borrow_check/region_inference/member_constraints.md

## calling methods on opaque types

Expand Down

0 comments on commit 308f604

Please sign in to comment.