Skip to content

Commit

Permalink
more tests
Browse files Browse the repository at this point in the history
  • Loading branch information
edgarfgp committed Jan 14, 2025
1 parent b8561be commit 9d90bab
Showing 1 changed file with 3 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,9 @@ module M =
type B<'u> with
member this.Y = this.X
type FooExt =
static member Bar(this: A<'u>, value: B<'u>) = this
"""
|> typecheck
|> shouldFail
Expand Down

0 comments on commit 9d90bab

Please sign in to comment.