Wildcard capture

The compiler operation that gives one wildcard expression a fresh internal type for type checking.

Also known as capture conversion