enhancementhelp wantedpriority: low
倉庫指標
- 星標
- (14,268 顆星)
- 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)", ...).