{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"ty::TypingEnv::fully_monomorphized().as_query_input(ty),"}]}
                        ty::TypingEnv::fully_monomorphized().as_query_input(ty),
                        requirement,
                    ))