{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
                        // FIXME: This does not handle subtyping correctly, we could
                    &ty::Alias(ty::Projection, data) => {
                        // instead create a new inference variable `?normalized_source`, emitting