{"ast_node_type":"variable","tokens":[{"end":45,"kind":"keyword","start":0,"text":"let"}]}
    let mut seen_types = UnordSet::default();
) -> bool {
    let result = structurally_same_type_impl(&mut seen_types, tcx, typing_env, a, b, ckind);