Ibraheem Ahmed 294f863523 [ty] Avoid expression reinference for diagnostics (#21267) ... ## Summary We now use the type context for a lot of things, so re-inferring without type context actually makes diagnostics more confusing (in most cases).		2025-11-25 09:24:00 -08:00
..
aliases.md	[ty] Create a specialization from a constraint set (#21414)	2025-11-19 14:20:33 -05:00
classes.md	[ty] Avoid expression reinference for diagnostics (#21267)	2025-11-25 09:24:00 -08:00
functions.md	[ty] Simplify unions containing multiple type variables during inference (#21275)	2025-11-05 15:03:19 +00:00
variables.md	[ty] Remove brittle constraint set reveal tests (#21568)	2025-11-21 13:57:55 -05:00
variance.md	[ty] impl `VarianceInferable` for `KnownInstanceType` (#20924)	2025-10-17 21:12:19 +02:00