Begin @ensure_annotations decorator