De-@ ty::check::method.