{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"#[derive_where(Debug;"}]}
#[derive_where(Debug; I: Interner)]
/// We simply ICE in case that assumption is broken.
enum DebugSolver<I: Interner> {