chapel-lang/chapel

Bug with `isPOD` and generic record types

Open

#24,172 建立於 2024年1月9日

在 GitHub 查看
 (6 留言) (0 反應) (0 負責人)Chapel (446 fork)auto 404
area: Compilergood first issuetype: Bug

倉庫指標

Star
 (2,010 star)
PR 合併指標
 (PR 指標待抓取)

描述

use Types;

record r { type T; var x: T; }

proc main() {
  writeln(isPOD(r(?)));
}
Foo.chpl:3: error: cannot default-initialize a variable with generic type
Note: This source location is a guess.
note: '<temporary>' has generic type 'r'
note: cannot find initialization point to split-init this variable

In the debugger I can see that it's referring to the auto-generated deinit which has its resolution triggered by resolveAutoCopyEtc, called from propagateNotPod.

貢獻者指南