{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"table:"}]}
    table: &mut InferenceTable<'_>,
    tys: &chalk_ir::Canonical<(chalk_ir::Ty<Interner>, chalk_ir::Ty<Interner>)>,
) -> chalk_ir::Substitution<Interner> {