Stabilize concrete type specialization

[tomassedovic]

Metadata
Point of contact	@tmandry
Team(s)	lang, libs, opsem, types
Goal document	2026/specialization

Summary

Follow stabilization of the new trait solver this year by stabilizing a subset of specializing impls: Impls that follow the [always applicable][always applicable] rule. This roughly corresponds to specializing trait impls on concrete types.

Tasks and status

[tomassedovic]

This issue is intended for status updates only.

For general questions or comments, please contact the owner(s) directly.