```
pub fn type_known_to_meet_bound_modulo_regions<'tcx>(
infcx: &InferCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
ty: Ty<'tcx>,
def_id: DefId,
) -> bool
```

## Expand description

Determines whether the type `ty`

is known to meet `bound`

and
returns true if so. Returns false if `ty`

either does not meet
`bound`

or is not known to meet bound (note that this is
conservative towards *no impl*, which is the opposite of the
`evaluate`

methods).