Just noticed that clumsy type annotation for the struct literal, I think we should filter out such special cases from chaining hints: 