De-@ typeck::check::method.