Implement a function which checks if a type contains a mutable borrow

Implement a function which checks if a type contains a mutable borrow #1530