clr: Checker for Lifetimes and other Refinement types (via friendlysock) — discussion

#zig