check if closure as method arg has read access in [collection_is_never_read]#12694