11.3 底类型（bottom types）