Anthony Latsis
a6e5e19512
Sema: Minor adjustment to BindingSet dumping
...
Shorten some of the keys and format them consistently as sentence
fragments rather than identifiers.
2025-01-04 11:27:54 +00:00
Frederick Kellison-Linn
0d79f4523a
Allow function-function conversions for keypath literals
...
Remove keypath subtype asserts; always use cached root type
Add tests for keypaths converted to funcs with inout param
Add unit test for overload selection
2024-01-23 08:51:44 -05:00
Pavel Yaskevich
37da96092c
[CSGen] Don't expect implicit casts to have type reprs
...
Implicit casts are allowed to be constructed with a type, instead
of a type repr. Constraint generation should honor that, and fallback
to using cast type when repr is was not given.
2022-03-22 13:19:32 -07:00
Pavel Yaskevich
5ac8bce1c4
[Sema] NFC: Add some unit-tests for solution filtering
2021-10-18 14:54:16 -07:00
Frederick Kellison-Linn
00004482c9
Add unit tests for placeholder type inference
2021-10-01 12:45:56 -04:00
Frederick Kellison-Linn
6b0f5da001
[Unit tests] Add unit tests for optional lookup behavior
2020-12-04 12:11:10 -05:00
Pavel Yaskevich
340d1e843a
[ConstraintSystem] Record trailing choice match choice when arguments/result are equivalent to applied function
2020-10-19 13:55:55 -07:00
Pavel Yaskevich
dc7c9c2bfa
[unittests/Sema] Add a simple integer literal type inference test
2020-10-12 18:57:20 -07:00
Pavel Yaskevich
0b22d91c94
[unittests] Extend Sema testing fixture to load stdlib (+ shims)
...
Setup module importers, load stdlib, establish separate testing
module and load a single main file there which imports standard
library.
2020-10-12 18:57:20 -07:00
Pavel Yaskevich
9239692d00
[unittests] Add a fixture for Sema unit tests
2020-10-12 18:57:20 -07:00
