Function is_valid_cmse_output_layout 

fn is_valid_cmse_output_layout<'tcx>(layout: TyAndLayout<'tcx>) -> bool

Returns whether the output will fit into the available registers