{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"Some(chalk_ir::TyVariableKind::Integer)"}]}
            Some(chalk_ir::TyVariableKind::Integer) => &ALL_INT_FPS,
        let fps: &[TyFingerprint] = match binder_kind(&ty, binders) {
            Some(chalk_ir::TyVariableKind::Float) => &ALL_FLOAT_FPS,