enhancementhelp wantedpriority: low
仓库指标
- Star
- (14,268 star)
- PR 合并指标
- (30 天内没有已合并 PR)
描述
I need this to work:
let f = __abstract(":object", "(__f)");
global.result = f().p;
But it currently fails because the access to .p is not known to be safe. I'd like to model that the result of the call to f is a simple object where all such accesses should simply be allowed, maybe via __abstract(":object(simple)", ...).