{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(ty_def_id) = ty_def_id.as_local() {
    ) -> Result<(), ErrorGuaranteed> {
            // Add the implementation to the mapping from implementation to base