VS
тривиальность как свойство типа есть, но оно выводится из тривиальности конструкторов разных видов. а вот для последних это, так сказать, первичный признак того, нужно ли выполнять какой-то код для того, чтобы произвести над объектом соответствующее действие