Hinting implicit manifest generation with contenxt bounds.