Type traits direct compiler support