move docs about ambig ty and consts

Author: BoxyUwU

src/SUMMARY.md

@@ -126,8 +126,8 @@
     - [Lang Items](./lang-items.md)
 - [The HIR (High-level IR)](./hir.md)
     - [Lowering AST to HIR](./hir/lowering.md)
-    - [Ambig/Unambig Types and Consts](./hir/ambig-unambig-ty-and-consts.md)
     - [Debugging](./hir/debugging.md)
+- [Ambig/Unambig Types and Consts](./ambig-unambig-ty-and-consts.md)
 - [The THIR (Typed High-level IR)](./thir.md)
 - [The MIR (Mid-level IR)](./mir/index.md)
     - [MIR construction](./mir/construction.md)

src/hir/ambig-unambig-ty-and-consts.md src/ambig-unambig-ty-and-consts.mdsrc/hir/ambig-unambig-ty-and-consts.md renamed to src/ambig-unambig-ty-and-consts.md

@@ -206,7 +206,7 @@ By feeding the type of an anon const with the type of the Const Parameter we gua
 
 Looking at the above example, this corresponds to `[u8; ANON]` being a well formed type because `ANON` has type `usize`, but the *body* of `ANON` being illformed and resulting in a type checking error because `true` can't be returned from a const item of type `usize`.
 
-[ambig-unambig-ty-and-consts]: ./hir/ambig-unambig-ty-and-consts.md
+[ambig-unambig-ty-and-consts]: ./ambig-unambig-ty-and-consts.md
 [`ConstKind`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/type.ConstKind.html
 [`ConstKind::Infer`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/type.ConstKind.html#variant.Infer
 [`ConstKind::Param`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/type.ConstKind.html#variant.Param