Я пытаюсь лучше понять следующее поведение: scala> class C[-A, +B <: A] <console>:7: error: contravariant type A occurs in covariant position in type >: Nothing <: A of type B class C[-A, +B <: A]...

Я обнаружил, что смотрю на источник arc4random_uniform ( http://bxr.su/o/lib/libc/crypt/arc4random_uniform.c ) Мой вопрос относится к следующей строке (комментарий является их оригинальным комментарием): /* 2**32 % x == (2**32 - x) % x */ min =...

Я знаю, что в дженериках Java при использовании параметра типа с несколькими границами компилятор стирает информацию о типе до «крайней левой границы» (т.е. первого класса/перечисления или интерфейса в списке). Так почему же следующий код...