What does a type assertion `value as Type` do at runtime?