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.

贡献者指南