SelectionContext::evaluate_predicate_recursively ignores type paramters in outlive predicates

[aliemjay]

I believe this is missing another special case for pred.0.has_params() as well as has_placeholders():

rust/compiler/rustc_trait_selection/src/traits/select/mod.rs

Lines 798 to 808 in 3340d49

	// A global type with no free lifetimes or generic parameters
	// outlives anything.
	if pred.0.has_free_regions()
	|| pred.0.has_bound_regions()
	|| pred.0.has_non_region_infer()
	|| pred.0.has_non_region_infer()
	{
	Ok(EvaluatedToOkModuloRegions)
	} else {
	Ok(EvaluatedToOk)
	}

[Enselic]

Triage: It would be great to have some more context here. Does this mean programs miscompile? Or that programs that should compile does not compile? Can you give an example program please? Thanks!

[Enselic]

Triage: closing as "not enough context"/"inactionable".