Nit: fix Debug impl of `PlaceholderIndex`
This commit is contained in:
parent
e43096ff05
commit
d85a7da8fe
|
@ -102,7 +102,7 @@ newtype_index!(PointIndex { DEBUG_FORMAT = "PointIndex({})" });
|
||||||
/// Computed just by subtracting one from `UniverseIndex`; this is
|
/// Computed just by subtracting one from `UniverseIndex`; this is
|
||||||
/// because the `0` value for `UniverseIndex` represents the root
|
/// because the `0` value for `UniverseIndex` represents the root
|
||||||
/// universe, and we don't need/want a bit for that one.
|
/// universe, and we don't need/want a bit for that one.
|
||||||
newtype_index!(PlaceholderIndex { DEBUG_FORMAT = "PointIndex({})" });
|
newtype_index!(PlaceholderIndex { DEBUG_FORMAT = "PlaceholderIndex({})" });
|
||||||
|
|
||||||
/// An individual element in a region value -- the value of a
|
/// An individual element in a region value -- the value of a
|
||||||
/// particular region variable consists of a set of these elements.
|
/// particular region variable consists of a set of these elements.
|
||||||
|
|
Loading…
Reference in New Issue