> These are totally different things with the same name. Another way to think about it is that “T: ‘static” restricts all references in T to be static, in the

> These are totally different things with the same name. Another way to think about it is that “T: ‘static” restricts all references in T to be static, in the same way that “‘a: ‘static” restricts ‘a to ‘static. The case when T doesn’t contain any references is then just a boring base case.