syntax_data: {"ast_node_type":"impl","tokens":[{"end":61,"kind":"keyword","start":0,"text":")"}]}
source_snippet: ) -> impl Fn(&Result<Ty<'tcx>, AlwaysRequiresDrop>) -> bool {
context_before:     typing_env: ty::TypingEnv<'tcx>,
context_after:     move |ty| match ty {