use smart cast info while adding constraint for receiver
added position strategy to NOTHING_TO_INLINE error