{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"write!(indented_decl,"}]}
                write!(indented_decl, " as {user_ty:?}").unwrap();
            for user_ty in user_ty.projections() {
            }