fn const_int_from_debug(text: &str) -> Option<u128>
Extract a small integer constant from rustc’s debug representation.