You should not be able to cast to a private record/variant

未关闭

#8,457 创建于 2026年5月31日 0 条评论 3 个 reaction 已指派 1 人在 GitHub 查看

@tsnobip 已经在做这个了。

开始于 2026年5月31日。

评估

这个 Issue 还没有评估数据。

Today, this compiles without any warning or error (cf playground):

module Foo = {
  type t = private {foo: int}
}

module Bar = {
  type t = {...Foo.t}
}

let bar = {Bar.foo: 9}
let foo = (bar :> Foo.t)

which doesn't make sense because private records/variants are precisely meant to avoid instantiation.

This should IMO at least raise a warning.

Rewatch: in-process bsc prototype 未关闭

难度 5/5 一周以上新手友好度 35/100

rescript-lang/rescript#8659 · 2 条评论 · 2 个 reaction · 2026年9月15日创建
reanalyze: duplicated batch/reactive pipelines have silently drifted; the editor runs the untested one 未关闭

难度 5/5 一周以上新手友好度 35/100

rescript-lang/rescript#8647 · 2026年9月10日创建
Untagged variants: boolean literal/payload overlap is rejected while string, int, float and bigint overlap is allowed 未关闭

rescript-lang/rescript#8632 · 已指派 1 人 · 2026年9月6日创建
Stamp parsetree v1: what remains before the AST can be frozen for PPXs 未关闭

难度 5/5 一周以上新手友好度 28/100

rescript-lang/rescript#8624 · 2026年9月4日创建
RFC: Unified Xote-based playground 未关闭

难度 5/5 一周以上新手友好度 30/100

rescript-lang/rescript#8596 · 2 条评论 · 2026年8月29日创建