<@U0BLU7JTA>: when a type was declared with an ali...

# announcements

[mikehearn]

@dmitry.petrov: when a type was declared with an alias in the source and that's erased to the underlying type in the bytecode, will there be an annotation reflecting the original alias?