Function format_detailed 

pub fn format_detailed(t: &DataType, state: &State<'_>) -> SmolStr

Renders a DataType with full struct/function detail for diagnostics.

Field and argument names are resolved against the compiler State by Struct/Fn id. The plain Display impl (in candela-vm) has no State, so it renders those variants opaquely; this is the compiler-side detailed form.