I’ve written a post full of examples where Laser, a static analyzer being developed for Ruby, can statically infer how a method uses its block argument: does it require a block? Ignore a block? Use it optionally? Laser can tell!