Function check_instance_abi 

fn check_instance_abi<'tcx>(tcx: TyCtxt<'tcx>, instance: Instance<'tcx>)

Checks the ABI of an Instance, emitting an error when:

• a non-rustic ABI uses unsized parameters
• the signature requires target features that are not enabled