Skip to content

Commit

Permalink
Fix record type test
Browse files Browse the repository at this point in the history
Summary: Make the test test what it is meant to test.

Reviewed By: JakobDegen

Differential Revision: D64212985

fbshipit-source-id: fec9358c9b11be4af9b85fca5a09996744d11d93
  • Loading branch information
stepancheg authored and facebook-github-bot committed Oct 11, 2024
1 parent 5e072b4 commit 0765cd7
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions starlark/src/values/types/record/record_type.rs
Original file line number Diff line number Diff line change
Expand Up @@ -380,10 +380,10 @@ RecFailCt2 = record(a = field(int), b = field(int))
def f_fail_ct(x: RecFailCt1):
return x.a
f_fail_ct(RecFailCt2(a = 1, b = 2))
def test():
f_fail_ct(RecFailCt2(a = 1, b = 2))
",
// TODO(nga): this is runtime error, not compile time.
"Value `record[RecFailCt2](a=1, b=2)` of type `record` does not match",
"Expected type `RecFailCt1` but got `RecFailCt2`",
);
}

Expand Down

0 comments on commit 0765cd7

Please sign in to comment.