Skip to content

Commit b68a03b

Browse files
Change doc comment to code comment
1 parent 7e70a63 commit b68a03b

File tree

2 files changed

+21
-21
lines changed

2 files changed

+21
-21
lines changed

src/librustc/middle/region.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -458,10 +458,10 @@ impl<'tcx> RegionMaps {
458458
-> CodeExtent {
459459
if scope_a == scope_b { return scope_a; }
460460

461-
/// [1] The initial values for `a_buf` and `b_buf` are not used.
462-
/// The `ancestors_of` function will return some prefix that
463-
/// is re-initialized with new values (or else fallback to a
464-
/// heap-allocated vector).
461+
// [1] The initial values for `a_buf` and `b_buf` are not used.
462+
// The `ancestors_of` function will return some prefix that
463+
// is re-initialized with new values (or else fallback to a
464+
// heap-allocated vector).
465465
let mut a_buf: [CodeExtent; 32] = [scope_a /* [1] */; 32];
466466
let mut a_vec: Vec<CodeExtent> = vec![];
467467
let mut b_buf: [CodeExtent; 32] = [scope_b /* [1] */; 32];

src/librustc_typeck/check/wfcheck.rs

+17-17
Original file line numberDiff line numberDiff line change
@@ -89,23 +89,23 @@ impl<'a, 'gcx> CheckTypeWellFormedVisitor<'a, 'gcx> {
8989
tcx.item_path_str(tcx.hir.local_def_id(item.id)));
9090

9191
match item.node {
92-
/// Right now we check that every default trait implementation
93-
/// has an implementation of itself. Basically, a case like:
94-
///
95-
/// `impl Trait for T {}`
96-
///
97-
/// has a requirement of `T: Trait` which was required for default
98-
/// method implementations. Although this could be improved now that
99-
/// there's a better infrastructure in place for this, it's being left
100-
/// for a follow-up work.
101-
///
102-
/// Since there's such a requirement, we need to check *just* positive
103-
/// implementations, otherwise things like:
104-
///
105-
/// impl !Send for T {}
106-
///
107-
/// won't be allowed unless there's an *explicit* implementation of `Send`
108-
/// for `T`
92+
// Right now we check that every default trait implementation
93+
// has an implementation of itself. Basically, a case like:
94+
//
95+
// `impl Trait for T {}`
96+
//
97+
// has a requirement of `T: Trait` which was required for default
98+
// method implementations. Although this could be improved now that
99+
// there's a better infrastructure in place for this, it's being left
100+
// for a follow-up work.
101+
//
102+
// Since there's such a requirement, we need to check *just* positive
103+
// implementations, otherwise things like:
104+
//
105+
// impl !Send for T {}
106+
//
107+
// won't be allowed unless there's an *explicit* implementation of `Send`
108+
// for `T`
109109
hir::ItemImpl(_, hir::ImplPolarity::Positive, _, _,
110110
ref trait_ref, ref self_ty, _) => {
111111
self.check_impl(item, self_ty, trait_ref);

0 commit comments

Comments
 (0)