Files
swift-mirror/lib/Sema/CSSimplify.cpp
Pavel Yaskevich e337a3947d [ConstraintSystem] Implement tap expression checking in the solver
Generate a conjunction for each tap expression body as soon as it
gets a contextual type instead of separate post-factum type-checking
via `typeCheckTapBody`.
2023-07-07 19:50:46 +02:00

598 KiB