ことがない

(something) has never occurred; to have never done (something); such a thing has not happened