{"ast_node_type":"function","tokens":[{"end":70,"kind":"keyword","start":0,"text":"fn"}]}
    fn coerce(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> CoerceResult<'tcx> {
    #[instrument(skip(self))]
        // First, remove any resolved type variables (at the top level, at least):