Например в Java хотелось бы определения сравнения одинаковых значений вот здесь

if (a.equals(a)) {
 // do smth
}

Причём для == , если я не ошибаюсь это есть а для equals нет. Я понимаю, что это проблема Java, что там == не сравнивает значения переменных и нужен equals, но хотел узнать есть языки, где можно сделать скажем вот так.

@compile_time_assert(this != a)
boolean equals(Object a) {
}

Спасибо