We should not need this import (annotation.dart is imported)