18.2.3 incorrectly reduces a constraint of the form [null <: alpha] to the bound null <: alpha. It should instead reduce to true. Also, a constraint of the form [alpha <: null] should reduce to false.