Genericsの上界がclassだとデフォルト推論なのか