Function check_elided_return 

fn check_elided_return(
    producer: AliveProducer,
    signature: &SignatureInfo,
) -> SmtCheckResult

Checks whether an elided return lifetime can be tied to the receiver borrow.