Treat the 'static lifetime as well-formed

The static_lifetime_param test now passes

Author: mattheww

crates/formality-prove/src/prove/prove_wf.rs

@@ -1,6 +1,7 @@
 use formality_core::{judgment_fn, ProvenSet};
 use formality_types::grammar::{
-    AliasName, AliasTy, ConstData, Parameter, Parameters, RigidName, RigidTy, UniversalVar, Wcs,
+    AliasName, AliasTy, ConstData, LtData, Parameter, Parameters, RigidName, RigidTy, UniversalVar,
+    Wcs,
 };
 
 use crate::{
@@ -51,6 +52,11 @@ judgment_fn! {
             (prove_wf(decls, env, assumptions, RigidTy { name: RigidName::AdtId(adt_id), parameters }) => c)
         )
 
+        (
+            --- ("static lifetime")
+            (prove_wf(_decls, env, _assumptions, LtData::Static) => Constraints::none(env))
+        )
+
         (
             (prove_wf(&decls, &env, &assumptions, ty) => c)
             --- ("rigid constants")