diff options
| author | Boxy <rust@boxyuwu.dev> | 2025-05-26 13:44:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-26 13:44:34 +0100 |
| commit | 8b4f9b6ebed8a37367a232985aa4dc1151625cec (patch) | |
| tree | 667e026a2094bbb409614186c73189a97d753960 | |
| parent | d5b3f8dba3dad0d2ed1a7fecfa35ba7a523ff50f (diff) | |
| parent | b73dfdfbd350052e8a45046ad25b1c97a1825146 (diff) | |
| download | rust-8b4f9b6ebed8a37367a232985aa4dc1151625cec.tar.gz rust-8b4f9b6ebed8a37367a232985aa4dc1151625cec.zip | |
Merge pull request #2414 from smanilov/patch-15
Link normalization chapter
| -rw-r--r-- | src/doc/rustc-dev-guide/src/typing_parameter_envs.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/typing_parameter_envs.md b/src/doc/rustc-dev-guide/src/typing_parameter_envs.md index a8f4059827f..e21bc5155da 100644 --- a/src/doc/rustc-dev-guide/src/typing_parameter_envs.md +++ b/src/doc/rustc-dev-guide/src/typing_parameter_envs.md @@ -32,7 +32,7 @@ where <T as Trait>::Assoc: Clone, {} ``` -If we were conceptually inside of `foo` (for example, type-checking or linting it) we would use this `ParamEnv` everywhere that we interact with the type system. This would allow things such as normalization (TODO: write a chapter about normalization and link it), evaluating generic constants, and proving where clauses/goals, to rely on `T` being sized, implementing `Trait`, etc. +If we were conceptually inside of `foo` (for example, type-checking or linting it) we would use this `ParamEnv` everywhere that we interact with the type system. This would allow things such as [normalization], evaluating generic constants, and proving where clauses/goals, to rely on `T` being sized, implementing `Trait`, etc. A more concrete example: ```rust @@ -70,6 +70,7 @@ fn foo2<T>(a: T) { [predicates_of]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_analysis/collect/predicates_of/fn.predicates_of.html [method_pred_entailment]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_analysis/check/compare_impl_item/fn.compare_method_predicate_entailment.html [query]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/context/struct.TyCtxt.html#method.param_env +[normalization]: normalization.md ### Acquiring a `ParamEnv` |