[bv-dev] Method constraints and TraversableResolver contract

Hi all, working on the TCK, I'm wondering whether a BV provider should use TraversableResolver#isReachable() and isCascadable()) to check whether a validated method parameter or return value may be accessed/traversed. I think checking for cascadability might make sense, but I'm not so sure about checking for reachability; can e.g. be a parameter not reachable? If any of the checks shall be done for method validation, we need to update the TraversableResolver contract (section 4.6.3) which currently explicitly speaks about properties and is limited to the element types FIELD and METHOD. WDYT? --Gunnar