Can I get constraint 'b: 'a just from type &'a T<'b> where T is any other Type and no other constraints around?

I found some reference says that if a type is &'a T then T: 'a, but my friend insists that T<'b> : 'adoes not imply 'b: 'a and I'm confused. Any help?

3 posts - 3 participants

Read full topic