diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2020-03-05 18:07:42 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2020-03-10 17:08:16 -0300 |
| commit | 9d4fdba8bee7e1f445fa0ebbd4aed0defbd8e514 (patch) | |
| tree | fe61bbc24975edd6ad3b889082dc0e48f9d63f61 /src/librustc_traits | |
| parent | 0037f4e37cb32f6195ab57fe4e5d34eb0adcd2d5 (diff) | |
| download | rust-9d4fdba8bee7e1f445fa0ebbd4aed0defbd8e514.tar.gz rust-9d4fdba8bee7e1f445fa0ebbd4aed0defbd8e514.zip | |
Rename rustc guide to rustc dev guide
Diffstat (limited to 'src/librustc_traits')
| -rw-r--r-- | src/librustc_traits/lowering/mod.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/librustc_traits/lowering/mod.rs b/src/librustc_traits/lowering/mod.rs index 97b81c224d5..9b48cf489ba 100644 --- a/src/librustc_traits/lowering/mod.rs +++ b/src/librustc_traits/lowering/mod.rs @@ -108,13 +108,13 @@ impl<'tcx> Lower<PolyDomainGoal<'tcx>> for ty::Predicate<'tcx> { } } -/// Used for implied bounds related rules (see rustc guide). +/// Used for implied bounds related rules (see rustc dev guide). trait IntoFromEnvGoal { /// Transforms an existing goal into a `FromEnv` goal. fn into_from_env_goal(self) -> Self; } -/// Used for well-formedness related rules (see rustc guide). +/// Used for well-formedness related rules (see rustc dev guide). trait IntoWellFormedGoal { /// Transforms an existing goal into a `WellFormed` goal. fn into_well_formed_goal(self) -> Self; @@ -178,7 +178,7 @@ crate fn program_clauses_for(tcx: TyCtxt<'_>, def_id: DefId) -> Clauses<'_> { fn program_clauses_for_trait(tcx: TyCtxt<'_>, def_id: DefId) -> Clauses<'_> { // `trait Trait<P1..Pn> where WC { .. } // P0 == Self` - // Rule Implemented-From-Env (see rustc guide) + // Rule Implemented-From-Env (see rustc dev guide) // // ``` // forall<Self, P1..Pn> { @@ -282,7 +282,7 @@ fn program_clauses_for_impl(tcx: TyCtxt<'tcx>, def_id: DefId) -> Clauses<'tcx> { return List::empty(); } - // Rule Implemented-From-Impl (see rustc guide) + // Rule Implemented-From-Impl (see rustc dev guide) // // `impl<P0..Pn> Trait<A1..An> for A0 where WC { .. }` // @@ -501,7 +501,7 @@ pub fn program_clauses_for_associated_type_def(tcx: TyCtxt<'_>, item_id: DefId) } pub fn program_clauses_for_associated_type_value(tcx: TyCtxt<'_>, item_id: DefId) -> Clauses<'_> { - // Rule Normalize-From-Impl (see rustc guide) + // Rule Normalize-From-Impl (see rustc dev guide) // // ``` // impl<P0..Pn> Trait<A1..An> for A0 { |
