Вы не можете сделать это для переменной. Для начала вы не можете одновременно определить тип переменной и добавить к ней аннотацию. И по умолчанию любая добавляемая вами аннотация не может ограничить существование хотя бы одного произвольного свойства.
Если у вас есть функция и вы хотите, чтобы у параметра функции было хотя бы одно свойство, мы можем использовать условный тип для генерации чего-то похожего на пользовательскую ошибку:
function noEmpty<T>(o: T & (keyof T extends never ? "No empty object" : {})) {
}
noEmpty({}) // err Argument of type '{}' is not assignable to parameter of type '{} & "No empty object"'.
noEmpty({ a: ""})