rustc_middle
1.80.0-nightly
(1a7397988 2024-05-17)
Module format
Structs
Enums
In rustc_middle::traits::solve::inspect
Module
rustc_middle
::
traits
::
solve
::
inspect
::
format
Copy item path
source
ยท
[
−
]
Structs
ยง
Indentor
๐
A formatter which adds 4 spaces of indentation to its input before passing it on to its nested formatter.
ProofTreeFormatter
๐
Enums
ยง
IndentorState
๐