Extensions: Add ReduceExtensionMember API#80659

Merged

jcouv merged 5 commits intodotnet:mainfrom

jcouv:extensions-reduce

Oct 22, 2025

Commits on Oct 14, 2025

Extensions: Add ReduceExtensionMember API
Julien Couvreur
committed

Commits on Oct 16, 2025

Address feedback
Julien Couvreur
committed
Rename internal API
Julien Couvreur
committed
Use "extension" symbol display
Julien Couvreur
committed
Merge remote-tracking branch 'dotnet/main' into extensions-reduce
Julien Couvreur
committed