Sure; as another example, consider @scanon's thoughts about swizzling for SIMD types here:
Point being, it is not the case that @dynamicMemberLookup means no static checking. In fact, anticipate that there will be static checking where it makes sense, when it becomes possible to do so.