{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
                    // We don't have more information than we started with, so consider inhabited.
                match normalized_pred {
                    Self::GenericType(_) => Ok(true),